R. Berthomieu, B. Ribet, P. Verdanat, and 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

E. Clarke, E. Emerson, and A. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

P. Farail, P. Gaufillet, F. Peres, J. Bodeveix, M. Filali et al., an intermediate language for model verification in the TOPCASED environment, European Congress on Embedded Real-Time Software (ERTS), pp.2008-2009, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

]. Berthomieu and F. Lang, « Le langage pivot asynchrone Fiacre », réunion WP3 Topcased -LAAS -Toulouse, 13 novembre, 2007.

F. Lang and . Vernadat, « Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment, pp.29-30, 2008.

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

G. Susanne and O. Ileana, « A Real-Time Profile for UML and how to adapt it to SDL, Proceedings of the 11th international conference on System design, pp.55-77, 2003.

O. Iulian, G. Susanne, and O. Ileana, « Validating UML models by simulation and verification, 2003.

H. Joseph, M. B. Van, and . Zwaag, « A semantics of communicating Reactive Objects with Timing », 2004.

. Lambert, «Towards the verification of real-time systems in avionics: the Cotre approach, Electronic Notes in Theoretical Computer Science, vol.80, pp.201-216, 2003.

S. Philippe and «. Mdworkbench, A Model-Driven Engineering Tool, p.27, 2008.