F. Mhenni, N. Nguyen, and ;. Choley, Automatic fault tree generation from SysML system models, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, pp.715-720, 2014.
DOI : 10.1109/AIM.2014.6878163

P. David, V. Idasiak, and F. Kratz, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010.
DOI : 10.1016/j.ress.2009.11.015
URL : https://hal.archives-ouvertes.fr/hal-00528802

J. Xiang, K. Yanoo, Y. Maeno, and K. Tadano, Automatic Synthesis of Static Fault Trees from System Models, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, pp.127-136, 2011.
DOI : 10.1109/SSIRI.2011.32

P. Feiler and D. Gluch, Model-Based Engineering with AADL: AnIntroduction to the SAE Architecture Analysis & Design Language, 2012.
DOI : 10.1109/cacsd.2006.285483

P. Cuenot, D. Chen, S. Gerard, H. Lonn, M. Reiser et al., Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language, Architecting Dependable Systems IV, pp.39-65, 2007.
DOI : 10.1007/978-3-540-74035-3_3

D. Cancila, F. Terrier, F. Belmonte, H. Dubois, H. Espinoza et al., Sophia: a modeling language for modelbased safety engineering, Proc. of the 2ndInternational Workshop On Model Based Architecting And Construction Of Embedded Systems, pp.11-26, 2009.

M. Stamatelatos, W. Vesely, J. Dugan, J. Fragola, J. M. Iii et al., Fault Tree Handbook with Aerospace Applications, 2002.

M. Walker, L. Bottaci, and Y. Papadopoulos, Compositional Temporal Fault Tree Analysis, Computer Safety, Reliability, and Security, pp.106-119, 2007.
DOI : 10.1007/978-3-540-75101-4_12

A. Arnold, A. Griffault, G. Point, and A. Rauzy, The altarica language and its semantics, Fundamenta Informaticae, vol.34, pp.109-124, 2000.

N. Yakymets, S. Dhouib, H. Jaber, and A. , Lanusse, Model-driven safety assessment of robotic systems, Proc. of International Conference on Intelligent Robots and Systems (IROS), pp.1137-1142, 2013.
DOI : 10.1109/iros.2013.6696493

N. Yakymets, Y. Munoz-julho, and A. Lanusse, « Sophia framework for model-based safety analysis, Proc. of the 19th Congrès de Maîtrise des Risques et Sureté de Fonctionnement, p.71

A. Web-page, J. D. Andrews, and J. J. Henry, XFTA web page is lix.polytechnique.fr/~rauzy/xfta/xfta.htm [21] Open-PSA format web page is available at open-psa.org [22 A computerized fault tree construction methodology, Proc. of the Institution of Mechanical Engineers, pp.171-183, 1997.

O. Lisagor and J. A. Mcdermid, Towards a practicable process for automated safety analysis, Proc. of the 24th International System Safety Conference (ISSC), 2006.

M. Bozzano, Esacs: an integrated methodology for design and safety analysis of complex systems, Proc. of the European Conference on Safety and Reliability, 2003.

F. Ortmeier, W. Reif, and G. Schellhorn, Deductive causeconsequence analysis (dcca), Proc of the 16thhIFAC World Congres, pp.1434-1434, 2005.
DOI : 10.3182/20050703-6-cz-1902.01435

A. Joshi and M. Heimdahl, Behavioral fault modeling for modelbased safety analysis, Proc. of the 10thh IEEE High Assurance Systems Engineering Symposium, pp.199-208, 2007.
DOI : 10.1109/hase.2007.58

M. Bozzano and A. Villafiorita, The FSAP/NuSMV-SA Safety Analysis Platform, International Journal on Software Tools for Technology Transfer, vol.23, issue.9, pp.5-24, 2007.
DOI : 10.1109/2.58215
URL : http://sra.fbk.eu/tools/FSAP/dissemination/papers/ecai06.pdf

M. Gudemann and F. Ortmeier, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.132-141, 2010.
DOI : 10.1109/HASE.2010.24

G. Biggs, T. Sakamoto, and T. Kotoku, A profile and tool for modelling safety information with design information in SysML, Software and System Modeling, 2014.
DOI : 10.1007/s10270-010-0164-x