C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), Research Report n?6925n?6925, 2009.

C. André and F. Mallet, « Specification and Verification of Time Requirements with CCSL and Esterel, pp.167-176, 2009.

C. André, F. Mallet, and R. De-simone, Modeling Time(s), Lecture Notes in Computer Science, vol.4735, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Heterogeneous reactive systems modeling, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, pp.220-229, 2004.
DOI : 10.1145/1017753.1017790

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

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.2-2, 1991.
DOI : 10.1016/0167-6423(91)90001-E

B. Berthomieu and F. Vernadat, « Time Petri Nets Analysis with TINA », QEST, IEEE Computer Society, pp.123-124, 2006.

K. S. Brace, R. L. Rudell, and R. E. Bryant, Efficient implementation of a BDD package, Conference proceedings on 27th ACM/IEEE design automation conference , DAC '90, pp.40-45, 1990.
DOI : 10.1145/123186.123222

R. Johansson, H. Lönn, and P. Frey, ATESST Timing Model, 2008.

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

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

F. Maraninchi and T. Bouhadiba, Programmable Models of Computation for the Component- Based Virtual Prototyping of Heterogeneous Embedded Systems, 2009.

C. Meinel and T. Theobald, Algorithms and Data Structures in VLSI Design, 2007.
DOI : 10.1007/978-3-642-58940-9

O. , U. Profile-for, and M. , Object Management Group, pp.9-14, 2009.

C. Petri, ». Theory, and P. Nets, Concurrency Theory, Lecture Notes in Computer Science, vol.254, pp.4-24, 1987.
DOI : 10.1007/978-3-540-47919-2_2

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