S. Amari, A. Myers, A. Rauzy, and K. Trivedi, Imperfect Coverage Models: Status and Trends. Handbook of Performability Engineering, pp.321-348, 2008.

E. Arberetier and Z. Brik, System Dependability-Safety Modeling in Abstraction Levels, 2010.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004.

P. Brameret, A. Rauzy, and J. Roussel, Preliminary System Safety Analysis with Limited Depth Markov Chain Generation, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013.
DOI : 10.3182/20130904-3-uk-4041.00032

URL : https://hal.archives-ouvertes.fr/hal-00859173/document

P. Brameret, A. Rauzy, and J. Roussel, Automated generation of partial Markov chain from high level descriptions, Reliability Engineering & System Safety, vol.139, pp.179-187, 2015.
DOI : 10.1016/j.ress.2015.02.009

URL : https://hal.archives-ouvertes.fr/hal-01238630

J. Elmqvist and S. Nadm-tehrani, Safety Interfaces for Component-Based Systems, Lecture Note For Computer ScienceLNCS), vol.3688, pp.246-260, 2007.
DOI : 10.1007/11563228_19

J. Elmqvist and S. Nadm-tehrani, Tool support for incremental FMEA of component based systems, Design, Automation and Test in Europe, pp.921-927, 2008.

S. Epstein and A. Rauzy, Open-PSA Model Exchange format, 2008.

P. Holub and J. Börcsök, Advanced PFH calculations for safety integrity systems with high diagnostic, 2009 XXII International Symposium on Information, Communication and Automation Technologies, 2009.
DOI : 10.1109/ICAT.2009.5348449

V. Idasiak and P. David, Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models, uropean Safety and Reliability Conference (ESREL), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00579523

F. Innal, Y. Dutuit, A. Rauzy, and J. Signoret, New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.87, issue.2, pp.75-86, 2010.
DOI : 10.1243/1748006XJRR278

H. Jin, M. Lundteigen, and M. Rausand, Reliability performance of safety instrumented systems: A common approach for both low- and high-demand mode of operation, Reliability Engineering & System Safety, vol.96, issue.3, pp.365-373, 2011.
DOI : 10.1016/j.ress.2010.11.007

M. Leeman, The deployment of ISO26262 in Valeo, 2013.

L. 'hostis and S. , Architectural metrics calculation, an efficient approach, 2013.

A. Myers and A. Rauzy, Assessment of redundant systems with imperfect coverage by means of binary decision diagrams, Reliability Engineering & System Safety, vol.93, issue.7, pp.1025-1035, 2008.
DOI : 10.1016/j.ress.2007.05.002

R. Page and L. Rose, FPTC: Automated Safety Analysis for Domain-Specific Languages, Lecture Notes in Computer ScienceLNCS), vol.1, issue.3, pp.229-242, 2009.
DOI : 10.1049/sej.1986.0018

Y. Papadopoulos and D. Parker, A Method and tool for Model Based Semi-automated FMEA of Engineering Designs, 2004.

Y. Papadopoulos and D. Parker, Automating FMEA of Safety critical Systems, 2005.

B. Perrot, T. Prosvirnova, and A. Rauzy, Dynamic Fault Trees: a library for AltaRica Next Generation. s.l, p.17, 2010.

C. Price, D. Pugh, N. Wilson, and N. Snook, The Flame System : Automated Electrical FMEA. Reliability and Maintainability Symposium, pp.90-95, 1995.

T. Prosvirnova, M. Batteux, and P. Brameret, The AltaRica 3.0 project for Model-Based Safety Assessment, 2013.

A. Rauzy, An Experimental Study on Six Algorithms to Compute Transient Solutions of Large Markov Systems. Reliability Engineering and System Safety, pp.105-115, 2004.

A. Rauzy, XFTA -An OpenPSA Fault Tree Engine. s.l.:s.n, 2012.

T. Stanyer, A practical Approach to Calculation of ISO 26262 Metrics for ASIL C/D Critical Systems. s.l, 2012.

P. Teoh and K. Case, Failure mode and effects analysis through knowledge modeling, Journal of Materials Processing Technology, pp.153-154, 2004.

G. Torrente and M. Bouissou, Building Knowledge Bases in the Dependability Field with Open-source Environment "Visual Figaro, 2008.

D. Wang and J. Pan, An automatic FMEA technique for processes defined in the the Little-JIL Process definition, International Conference on Software Engineering & Knowledge Engineering, 2010.

W. E. Winkler, Overview of Record Linkage and Current Research Directions, 2006.

T. Winkovich and D. Eckardt, Reliability analysis of safety systems using Markov-chain modelling, 2005 European Conference on Power Electronics and Applications, pp.10-20, 2005.
DOI : 10.1109/EPE.2005.219620

I. Yoshimura, Y. Sato, and K. Suyama, SAFETY-INTEGRITY LEVEL MODEL FOR SAFETY-RELATED SYSTEMS IN DYNAMIC DEMAND STATE, Advanced Reliability Modeling, pp.577-584, 2004.
DOI : 10.1142/9789812702685_0073

T. Zhang, W. Long, and Y. Sato, Availability of systems with self-diagnostic components --applying Markov model to IEC 61508-6. Reliability Engineering and System Safety, pp.133-141, 2003.