. Aerospace, Architecture Analysis & Design Language (AADL), AS-5506The AADL behaviour annex experiments and roadmap, 2004.

F. Jouault and K. , Transforming Models with ATL, Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

B. Object-constraint-language, P. Berthomieu, F. Ribet, H. Vernadat, F. Garavel et al., The tool TINA --Construction of Abstract State Spaces for Petri Nets and Time Petri Nets, CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes », 19 th Int. Conf, 2004.

B. Berthomieu, J. P. Bodeveix, M. Filali, H. Garavel, F. Lang et al., The syntax and semantics of Fiacre ». Rapport LAAS N°07264Toolkit in OPen-source for Critical Apllications and SystEms DevelopmentACME: An Architecture Description Interchange Language, Projet ANR05RNTL03101 OpenEmbeDD, p.97, 1997.

R. Allen, A Formal Approach to Software Architecture, Carnegie Mellon, School of Computer Science, 1997.

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

B. Berthomieu and F. Vernadat, State Space Abstractions for Time Petri Nets, Handbook of Real-Time and Embedded Systems, 2007.

A. Basu, M. Bozga, and J. Sifakis, « Modeling heterogeneous real-time systems in BIP, 4th IEEE Int.l Conf. on Software Engineering and Formal Methods (SEFM06), 2006.

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437:2001, International Organization for Standardization ---Information Technology, 2001.

B. Berthomieu, Towards the verification of real-time systems in avionics, Proceedings of the 8th Int. Workshop on Formal Methods for Industrial Critical Systems, 2003.
DOI : 10.1016/S1571-0661(04)80819-3

H. Garavel, F. Lang, B. Ntif-farines, J. Berthomieu, P. Bodeveix et al., A general symbolic model for communicating sequential processes with data ». 22nd IFIP WG 6.1 Int Conference on Formal Techniques for Networked and Distributed Systems, The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics ». Electronic Notes in Theoretical Computer Science, p.15710661, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00071919

S. The and . Team, An Extensible Open Source AADL Tool Environment (OSATE), Software Engineering Institute, 2006.