P. A. Abdulla, J. Deneux, G. Stålmarck, H. Agren, and &. O. Akerlund, Designing Safe, Reliable Systems Using Scade, Leveraging Applications of Formal Methods, pp.115-129, 2006.
DOI : 10.1007/11925040_8

J. Abrial, The B-Book: Assigning programs to meanings, 2005.
DOI : 10.1017/CBO9780511624162

A. Arnold, G. Point, A. Griffault, and &. A. Rauzy, The altarica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, issue.2, pp.109-124, 1999.

N. J. Bahr, System Safety Engineering and Risk Assessment, 2014.
DOI : 10.1201/9780849375477.ch542

P. H. Feiler, D. P. Gluch, and &. J. Hudak, The architecture analysis & design language (aadl): An introduction, 2006.

S. Friedenthal, A. Moore, and &. R. Steiner, A practical guide to SysML: the systems modeling language, 2011.

M. Issad, L. Kloul, and &. A. Rauzy, A Model-Based Methodology to Formalize Specifications of Railway Systems, Model-Based Safety and Assessment, pp.28-42, 2014.
DOI : 10.1007/978-3-319-12214-4_3

J. Leonard and . Document, Systems engineering fundamentals, 1999.

C. Ong, Dynamic simulation of electric machinery: using MATLAB/SIMULINK, 1998.

Y. Papadopoulos, M. Walker, D. Parker, E. Rüde, R. Hamann et al., Engineering failure analysis and design optimisation with HiP-HOPS, Engineering Failure Analysis, vol.18, issue.2, pp.590-608, 2011.
DOI : 10.1016/j.engfailanal.2010.09.025

R. T. Pascoe and . Eichorn, What is communication-based train control?, IEEE Vehicular Technology Magazine, vol.4, issue.4, pp.16-21, 2009.
DOI : 10.1109/MVT.2009.934665

N. Yakymets, H. Jaber, and &. A. Lanusse, Model-based system engineering for fault tree generation and analysis, 2013.