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

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

C. André, Syntax and semantics of the clock constraint specification 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, pp.249-253
DOI : 10.1109/ISORC.2009.18

URL : https://hal.archives-ouvertes.fr/inria-00383262

C. André and F. Mallet, Specification and verification of time requirements with CCSL and esterel, LCTES, pp.167-176, 2009.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
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, pp.1270-1282, 1991.
DOI : 10.1109/5.97297

URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

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

C. André, F. Mallet, and M. Peraldi-frati, A multiform time approach to real-time system modeling; Application to an automotive system, 2007 International Symposium on Industrial Embedded Systems, pp.234-241, 2007.
DOI : 10.1109/SIES.2007.4297340

M. Peraldi-frati and J. Deantoni, Scheduling Multi Clock Real Time Systems: From Requirements to Implementation, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.50-57, 2011.
DOI : 10.1109/ISORC.2011.16

URL : https://hal.archives-ouvertes.fr/inria-00586851

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, pp.305-312
DOI : 10.1109/ISORC.2009.27

URL : https://hal.archives-ouvertes.fr/inria-00383279

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

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, 50th International Conference on Objects, Models, Components, Patterns -2012, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

J. Deantoni, P. Issa-diallo, J. Champeau, B. Combemale, and C. Teodorov, Operational Semantics of the Model of Concurrency and Communication Language, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01060601

C. Adam and P. , Concurrency theory, Petri Nets: Central Models and their Properties, 1987.