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
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
« FIACRE : an intermediate language for model verification in the TOPCASED environment, European Congress on Embedded Real-Time Software (ERTS), 2008. ,
A Toolbox for the Construction and Analysis of Distributed Processes, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00189021
Langages intermédiaires et technologies de transformations qualifiables pour le développement de systèmes temps-réel ,
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. ,
Architecture Analysis & Design Language (AADL) AS-5506, 2004. ,