C. André and F. Mallet, Clock constraints in UML/MARTE, 2008.

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

A. Benveniste, P. Caspi, S. Edwards, N. Hallbwachs, P. Le-guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, vol.91, issue.1, 2003.

A. Benveniste, P. Le-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

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-synchronous kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006.

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

F. Mallet and C. André, CCSL: specifying clock constraints with UML/Marte, ISSE, vol.4, issue.3, pp.309-314, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371371

P. Merlin, A Study of the Recoverability of, 1974.

M. Object and . Group, Unified Modeling Language, Superstructure 2.2, pp.7-11, 2007.

M. Object and . Group, UML Profile for MARTE OMG document number, 2008.

C. Petri, Concurrency Theory, Petri Nets: Central Models and their properties, pp.4-24, 1987.
DOI : 10.1007/978-3-540-47919-2_2