Designing Safe, Reliable Systems Using Scade, Leveraging Applications of Formal Methods, pp.115-129, 2006. ,
DOI : 10.1007/11925040_8
The B-Book: Assigning programs to meanings, 2005. ,
DOI : 10.1017/CBO9780511624162
The altarica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, issue.2, pp.109-124, 1999. ,
System Safety Engineering and Risk Assessment, 2014. ,
DOI : 10.1201/9780849375477.ch542
The architecture analysis & design language (aadl): An introduction, 2006. ,
A practical guide to SysML: the systems modeling language, 2011. ,
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
Systems engineering fundamentals, 1999. ,
Dynamic simulation of electric machinery: using MATLAB/SIMULINK, 1998. ,
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
What is communication-based train control?, IEEE Vehicular Technology Magazine, vol.4, issue.4, pp.16-21, 2009. ,
DOI : 10.1109/MVT.2009.934665
Model-based system engineering for fault tree generation and analysis, 2013. ,