S. Aerospace, Architecture Analysis & Design Language (AADL) AS-5506, 2004.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time systems in BIP, Proc. of SEFM ? IEEE Software Engineering and Formal Methods, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

R. B. Franca, J. Bodeveix, D. Chemouil, M. Filali, D. Thomas et al., The AADL behaviour annex -- experiments and roadmap, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.
DOI : 10.1109/ICECCS.2007.41
URL : https://hal.archives-ouvertes.fr/hal-00784976

P. M. Merlin and D. J. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976.
DOI : 10.1109/TCOM.1976.1093424

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.42, 2004.
DOI : 10.1137/0216062

B. Berthomieu, J. P. Bodeveix, M. Filali, H. Garavel, F. Lang et al., The syntax and semantics of Fiacre, 2007.

. Topcased, Toolkit in OPen-source for Critical Apllications and SystEms Development

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

B. Berthomieu, J. Bodeveix, C. Chaudet, S. Dal-zilio, M. Filali et al., Formal Verification of AADL Specifications in the Topcased Environment, Proc. of Ada Europe 2009 ? 14th Ada-Europe International Conference, 2009.
DOI : 10.1007/978-3-540-24756-2_8