B. Lewis, Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems, LNCS 2941, 2004.
DOI : 10.1007/978-3-540-24626-8_17

M. Chkouri, A. Robert, M. Bozga, and J. Sifakis, Translating AADL into BIPApplication to the verification of real-time systems, Models in Software Engineering, 2009.

B. Berthomieu, J. Bodeveix, C. Chaudet, S. Zilio, M. Filali et al., Formal Verification of AADL Specifications in the Topcased Environment, Proc. of the 14th Ada-Europe Int'l Conf. on Reliable Software Technologies, 2009.
DOI : 10.1007/978-3-540-24756-2_8

J. Rolland, J. Bodeveix, M. Filali, D. Chemouil, and D. T. , Modes in Asynchronous Systems, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), 2008.
DOI : 10.1109/ICECCS.2008.28

Y. Ma, J. Talpin, and T. Gautier, Virtual prototyping AADL architectures in a polychronous model of computation, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008.
DOI : 10.1109/MEMCOD.2008.4547701

URL : https://hal.archives-ouvertes.fr/inria-00265059

B. Combemale, X. Cregut, P. Garoche, and X. Thirioux, Essay on semantics definition in MDEAn instrumented approach for model verification, Journal of Software, vol.4, issue.9, 2009.

T. Cleenewerck and I. Kurtev, Separation of concerns in translational semantics for DSLs in model engineering, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, 2007.
DOI : 10.1145/1244002.1244218

A. Thomas, C. Joël, P. D. Pierre, Y. Jean, and C. , AADL execution semantics transformation for formal verification, Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems, 2008.

P. Ölveczky, A. Boronat, and J. Meseguer, Formal semantics and analysis of behavioral AADL models in real-time Maude, Formal Techniques for Distributed Systems, pp.978-981

O. Sokolsky, I. Lee, and D. Clark, Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639421

E. Jahier, N. Halbwachs, R. P. Nicollin, X. Lesens, and D. , Virtual execution of AADL models via a translation into synchronous programs, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289951

URL : https://hal.archives-ouvertes.fr/hal-00189563

E. Ana, Dependability modeling and evaluationFrom AADL to stochastic Petri nets, 2008.

E. Börger, The origins and the development of the ASM method for high level system design and analysis, Journal of Computer Science, vol.8, issue.1, p.274, 2001.

M. Ouimet and K. Lundqvist, The TASM Language Reference Manual Version 1.1. Cambridge, 2006.

M. Ouimet, A formal framework for specification-based embedded real-time system engineering, 2008.

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML (Revised), 1997.

S. The and . Team, An extensible open source AADL tool environment (OSATE) Software Engineering Institute, CMU, 2006.

G. Behrmann, A. David, and K. Larsen, A Tutorial on Uppaal, LNCS, vol.3185, 2004.
DOI : 10.1007/978-3-540-30080-9_7

M. Ouimet and K. Lundqvist, The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems, Computer Aided Verification, 2007.
DOI : 10.1007/978-3-540-73368-3_15

Z. Yang, L. Pi, K. Hu, Z. Gu, and D. Ma, AADL: An architecture design and analysis language for complex embedded real-time systems. Ruan Jian Xue Bao, Journal of Software, vol.21, issue.5, p.899915, 2010.

J. Hugues and S. Gheoghe, The AADL constraint annex, Proc. of the SAE 2013 AeroTech Congress & Exhibition. Montreal, 2013.

B. Larson, P. Chalin, and J. Hatcliff, BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, NASA Formal Methods
DOI : 10.1007/978-3-642-38088-4_19

F. Jouault and I. Kurtev, Transforming Models with ATL, Proc. of the 2005 Int'l Conf. on Satellite Events at the MoDELS, 2006.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

Z. Li and B. Gu, Application research of AADL in design of spacecraft control system Aerospace Control and Application, p.55, 2011.

Y. Dong, G. Wang, F. Zhang, and L. Gao, Reliability analysis and assessment tool for AADL model Ruan Jian Xue Bao, Journal of Software, vol.22, issue.6, p.12521266, 2011.

S. Gui, L. Luo, Q. Liu, F. Guo, and S. Lu, UCaS: A Schedulability Analysis Tool for AADL Models, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, p.449454, 2008.
DOI : 10.1109/EUC.2008.115

Z. Yang, K. Hu, D. Ma, J. Bodeveix, L. Pi et al., From AADL to timed abstract state machines: A verified model transformation. The Journal of Systems and Software, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01123837

Z. Yang, K. Hu, J. Bodeveix, L. Pi, D. Ma et al., Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
DOI : 10.1109/ICECCS.2011.41

Y. Bertot and P. Castéran, Interactive theorem proving and program development (CoqArt: The calculus of inductive constructions), Proc. of the Texts in Theoretical Computer Science, p.899915, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237