O. Uml-prole-for and M. , Object Management Group, Document, issue.0, pp.2009-2020, 2009.

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

C. André, Syntax and semantics of the clock constraint specication language (CCSL), Research Report, vol.6925, p.5, 2009.

F. Mallet, M. Peraldi-frati, and C. André, Marte CCSL to Execute East-ADL Timing Requirements, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, p.249253
DOI : 10.1109/ISORC.2009.18
URL : https://hal.archives-ouvertes.fr/inria-00383262

C. André and F. Mallet, Specication and verication of time requirements with CCSL and esterel, LCTES, p.167176, 2009.

F. Boussinot and R. Simone, The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, p.12931304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

G. Berry, The Esterel Language Primer, version v5_91, 2000.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, p.6483, 2003.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous observers and the verication of reactive systems, AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology, p.8396, 1994.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7
DOI : 10.1145/359545.359563

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, p.12701282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

C. André, F. Mallet, and M. Peraldi-frati, A multiform time approach to realtime system modeling: Application to an automotive system, Int. Symp. on Industrial Embedded Systems, p.234241, 2007.

F. Mallet and C. André, On the Semantics of UML/MARTE Clock Constraints, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
DOI : 10.1109/ISORC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00383279

C. André and F. Mallet, Clock constraint specication language in UML/- MARTE CCSL, Research Report, vol.6540, p.5, 2008.

C. André and F. Mallet, Mod??le de contraintes temporelles pour syst??mes polychrones, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, p.725739, 2009.
DOI : 10.3166/jesa.43.725-739

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

. 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