B. Meenakshi, Formal safety analysis of mode transitions in aircraft flight control system, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference, pp.1-1, 2007.
DOI : 10.1109/DASC.2007.4391854

J. A. Estefan, Survey of Model-Based Systems Engineering (MBSE) Methodologies, " Rev A, Incose MBSE Focus Group, 2007.

P. David, 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

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, p.496, 2012.

M. Walker, Compositional Temporal Fault Tree Analysis, Lecture Notes in Computer Science, vol.4680, pp.106-119, 2007.
DOI : 10.1007/978-3-540-75101-4_12

M. Bozzano, . Ch, and . Jochim, 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

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

J. D. Andrews and J. J. Henry, A computerized fault tree construction methodology, Proc. of the Institution of Mechanical Engineers, pp.171-183, 1997.
DOI : 10.1109/TR.1979.5220452
URL : https://dspace.lboro.ac.uk/dspace-jspui/bitstream/2134/3823/1/97_IMechE_CompMeth_JJH%26JDA.pdf