R. B. Ber-04-]-berthomieu and . Vernadat-f, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

. B. Berthomieu, C. C. Bodeveix-j.-p, . S. Dal, . Filali-m, and . Vernadat-f, Formal Verification of AADL Specifications in the Topcased Environment, International Conference on Reliable Software Technologies -Ada-Europe, 2009.
DOI : 10.1007/978-3-540-24756-2_8

F. P. Gaufillet-p, . Peres-f, . Bodeveix-j.-p, . Filali-m, . Berthomieu-b et al., « FIACRE : an intermediate language for model verification in the TOPCASED environment, European Congress on Embedded Real-Time Software (ERTS), 2008.

. H. Garavel, L. F. Mateescu-r, «. Serwe-w, and . Cadp, A Toolbox for the Construction and Analysis of Distributed Processes, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00189021

. Qft and . Quarteft, Langages intermédiaires et technologies de transformations qualifiables pour le développement de systèmes temps-réel

P. L. Bodeveix-j.-p and K. H. Filali-m, A comparative study of FIACRE and TASM to define AADL real time concepts, IEEE International Conference on Engineering of Complex Computer Systems, pp.2009-2023, 2009.

. Sae and . Sae-aerospace, Architecture Analysis & Design Language (AADL) AS-5506, 2004.