E. Ahmad, Y. Dong, B. Larson, J. Lü, T. Tang et al., Behavior Modeling and Verification of Movement Authority Scenario of Chinese Train Control System using AADL, Science China Information Sciences, vol.58, issue.11, pp.1-20, 2015.

Y. Bao, M. Chen, Q. Zhu, T. Wei, F. Mallet et al., Quantitative Performance Evaluation of Uncertainty-aware Hybrid AADL Designs using Statistical Model Checking, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.36, issue.12, 1989.
URL : https://hal.archives-ouvertes.fr/hal-01644285

M. Bozzano, A. Cimatti, J. Katoen, Y. Viet, T. Nguyen et al., Safety, Dependability and Performance Analysis of Extended AADL Models, The Computer Journal, vol.54, issue.5, pp.754-775, 2010.

A. M-yassin-chkouri, M. Robert, J. Bozga, and . Sifakis, Translating aadl into bip-application to the verification of real-time systems, International Conference on Model Driven Engineering Languages and Systems, pp.5-19, 2008.

J. Dehlinger and J. Bechta-dugan, Analyzing dynamic fault trees derived from model-based system architectures, Nuclear Engineering and Technology, vol.40, issue.5, pp.365-374, 2008.

J. Delange, P. Feiler, and N. Ernst, Incremental life cycle assurance of safety-critical systems, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289468

H. Peter, D. P. Feiler, and . Gluch, Model-based Engineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language, 2012.

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

H. Peter, . Feiler, A. Bruce, S. Lewis, and . Vestal, The SAE Architecture Analysis & Design Language (AADL) a Standard for Engineering Performance Critical Systems, 2006 IEEE Conference on Computer Aided Control System Design, pp.1206-1211, 2006.

A. Gacek, J. Backes, D. Cofer, K. Slind, and M. Whalen, Resolute: an Assurance Case Language for Architecture Models, ACM SIGAda Ada Letters, vol.34, pp.19-28, 2014.

J. Hansson, S. Helton, and P. Feiler, ROI Analysis of the System Architecture Virtual Integration Initiative, 2018.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, From the Prototype to the Final Embedded System using the Ocarina AADL Tool Suite, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.4, p.42, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

M. Ibrahim and Q. Al-hindawi, Attack graph modeling for nuclear power plant, 10th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), pp.1-6, 2018.

E. Robert, W. Lyons, and . Vanderkulk, The use of Triple-Modular Redundancy to Improve Computer Reliability, IBM journal of research and development, vol.6, issue.2, pp.200-209, 1962.

T. Smith, R. Whillock, R. Edman, B. Lewis, and S. Vestal, Lessons Learned in Inter-Organization Virtual Integration, SAE Technical, 1944.

L. Zhang, Modeling Railway Cyber-Physical Systems based on AADL, 19th International Conference on Automation and Computing, pp.1-6, 2013.