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
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
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
« Le langage pivot asynchrone Fiacre », réunion WP3 Topcased -LAAS -Toulouse, 13 novembre, 2007. ,
« Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment, pp.29-30, 2008. ,
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
« 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. ,
« Validating UML models by simulation and verification, 2003. ,
« A semantics of communicating Reactive Objects with Timing », 2004. ,
«Towards the verification of real-time systems in avionics: the Cotre approach, Electronic Notes in Theoretical Computer Science, vol.80, pp.201-216, 2003. ,
A Model-Driven Engineering Tool, p.27, 2008. ,