M. Bozzano, A. Cimatti, J. Katoen, V. Nguyen, T. Noll et al., Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform, Proceedings of the 22 nd International Conference on Computer Safety, Reliability and Security, pp.49-62, 2003.

P. Farail, P. Gaufillet, F. Peres, J. Bodeveix, M. Filali et al., FIACRE: an intermediate language for model verification in the TOPCASED environment http://www.see.asso.fr, janvier A Framework for Qualitative and Quantitative Model- Based Safety Analysis Model-Based Multi-Objective Safety Optimization Using Deductive Cause Consequence Analysis (DCCA) with SCADE, European Congress on Embedded Real-Time Software (ERTS 2008) Proceedings of the 12 th High Assurance System Engineering Symposium Proceedings of the 30 th International Conference on Computer Safety, Reliability and Security Proceedings of the 26 th International Conference on Computer Safety, Reliability and SecurityGüd11] M. Güdemann. Qualitative and Quantitative Formal Model-Based Safety Analysis, 2007.

H. Hermanns, J. Katoen, J. Meyer-kayser, and M. Siegle, A Markov Chain Model Checker, Proceedings of the 6 th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp.347-362, 2000.
DOI : 10.1007/3-540-46419-0_24

A. Joshi, S. Miller, M. Whalen, and M. Heimdahl, A PROPOSAL FOR MODEL-BASED SAFETY ANALYSIS, 24th Digital Avionics Systems Conference, 2005.
DOI : 10.1109/DASC.2005.1563469

J. Kloos, T. Hussain, and R. Eschbach, Failure-based testing of safety-critical embedded systems, 2011.

. Kzh-+-10-]-jp, I. Katoen, E. Zapreev, H. Hahn, D. Hermanns et al., The Ins and Outs of the Probabilistic Model Checker MRMC. Performance Evaluation Formal Failure Models, Proceedings of the 1 st IFAC Workshop on Dependable Control of Discrete Systems, pp.167-176, 2007.

O. F. Ortmeier, W. Reif, and G. Schellhorn, Deductive Cause-Consequence Analysis (DCCA) [Par07] T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages, Proceedings of the 16 th IFAC World Congress, 2006.

F. Vernadat, C. Percebois, P. Farail, R. Vingerhoeds, A. Rossignol et al., The TOPCASED Project -A Toolkit in OPen-source for Critical Applications and SystEm Development, Data Systems In Aerospace (DASIA), 2006.