C. André and F. Mallet, Modèle de temps de marte et ccsl, GL&IS, vol.89, 2009.

C. Fernández, Non-Sequential Processes, Petri Nets: Central Models and their Properties, p.95115, 1986.
DOI : 10.1007/978-3-540-47919-2_5

C. André, F. Mallet, and R. De-simone, Modeling Time(s)
DOI : 10.1007/978-3-540-75209-7_38

W. Reisig, Petri nets: an introduction. Monograph on Theoretical Computer Science

M. Peraldi-frati, C. André, and F. Mallet, A multiform approach to real-time system modeling: Application to an automotive system, p.14, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00204508

F. Mallet and M. -. , Agnès Peraldi-Frati, and Charles André. Marte CCSL and East- ADL2 timing requirements, Research Report, vol.6781, issue.12, 2008.

C. André, F. Mallet, R. , and S. , Modeling of immediate vs. delayed data communications: from AADL to UML marte, FDL, p.249254

F. Mallet, L. Robert-de-simone, and . Rioux, Event-triggered vs. timetriggered communications with UML Marte, FDL, p.154159, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371392

C. André and F. Mallet, Combining CCSL and Esterel to specify and verify time requirements, Research Report, vol.6839, 2009.

. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399