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.

A. Bouti and D. A. Kadi, A STATE-OF-THE-ART REVIEW OF FMEA/FMECA, International Journal of Reliability, Quality and Safety Engineering, vol.01, issue.04, pp.515-543, 1994.
DOI : 10.1142/S0218539394000362

J. Carreira, H. Madeira, and J. Silva, Xception: A technique for the experimental evaluation of dependability in modern computers. Software Engineering, IEEE Transactions on, vol.24, issue.2, pp.125-136, 1998.

D. Cotroneo, A. Lanzaro, R. Natella, and R. Barbosa, Experimental Analysis of Binary-Level Software Fault Injection in Complex Software, 2012 Ninth European Dependable Computing Conference, pp.162-172, 2012.
DOI : 10.1109/EDCC.2012.12

M. Hsueh, T. Tsai, and R. Iyer, Fault injection techniques and tools, Computer, vol.30, issue.4, pp.75-82, 1997.
DOI : 10.1109/2.585157

E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson, Fault injection into vhdl models: the mefisto tool, Fault-Tolerant Computing, 1994. FTCS-24. Digest of Papers., Twenty-Fourth International Symposium on, pp.66-75, 1994.

J. Karlsson, P. Liden, P. Dahlgren, R. Johansson, and U. Gunneflo, Using heavyion radiation to validate fault-handling mechanisms, pp.8-23, 1994.

P. Koopman, J. Sung, C. Dingman, D. Siewiorek, and T. Marz, Comparing operating systems using robustness benchmarks The Sixteenth Symposium on, Reliable Distributed Systems, pp.72-79, 1997.

A. Rugina, K. Kanoun, and M. Kaaniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008.
DOI : 10.1109/EDCC-7.2008.14
URL : https://hal.archives-ouvertes.fr/hal-00323969

A. Rugina, K. Kanoun, and M. Kaaniche, Software dependability modeling using aadl (architecture analysis and design language), International Journal of Performability Engineering, vol.7, issue.4, p.313, 2011.

R. A. Shafik, P. Rosinger, and B. M. , SystemC-Based Minimum Intrusive Fault Injection Technique with Improved Fault Representation, 2008 14th IEEE International On-Line Testing Symposium, pp.99-104, 2008.
DOI : 10.1109/IOLTS.2008.25

R. Svenningsson, Model-implemented fault injection for robustness assessment, 2011.

J. Vinter, L. Bromander, P. Raistrick, and H. Edler, Fiscade-a fault injection tool for scade models, Automotive Electronics 3rd Institution of Engineering and Technology Conference on, pp.1-9, 2007.

S. Winter, C. Sârbu, B. Murphy, and N. Suri, The impact of fault models on software robustness evaluations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.51-60, 2011.
DOI : 10.1145/1985793.1985801