S. Abramsky and A. Jung, Domain theory, Handbook of Logic in Computer Science, pp.1-168, 1994.

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, pp.1-4336, 2008.
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841

G. Berry, The constructive semantics of pure esterel, 1996.

F. Boulanger, C. Jacquet, C. Hardebolle, and A. Dogui, Heterogeneous Model Composition in ModHel'X: the Power Window Case Study, Workshop on the Globalization of Modeling Languages at MODELS 2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905075

F. Boulanger, C. Jacquet, C. Hardebolle, and I. Prodan, TESL: A language for reconciling heterogeneous execution traces, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.114-123, 2014.
DOI : 10.1109/MEMCOD.2014.6961849
URL : https://hal.archives-ouvertes.fr/hal-01100179

A. Brucker and B. Wolff, On theorem prover-based testing. Formal Aspects of Computing, pp.683-721, 2013.

P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, vol.277, issue.1-2, pp.47-103, 2002.
DOI : 10.1016/S0304-3975(00)00313-3

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

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, pp.309-314, 2008.
DOI : 10.1007/s11334-008-0055-2