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

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. D. Brucker and B. Wolff, An Extensible Encoding of Object-oriented Data Models in hol, Journal of Automated Reasoning, vol.10, issue.2, pp.219-249, 2008.
DOI : 10.1007/11541868_12

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

A. D. Brucker and B. Wolff, Monadic Sequence Testing and Explicit Test-Refinements, Tests and Proofs -10th International Conference Proceedings, pp.17-36978, 2016.
DOI : 10.1017/S0960129500001560

B. Combemale, B. H. Cheng, R. B. France, J. M. Jezequel, and B. Rumpe, Globalizing Domain-Specific Languages, LNCS, Programming and Software Engineering, vol.9400, 2015.
DOI : 10.1007/978-3-319-26172-0

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

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Garcés, J. Deantoni, and F. Mallet, A Model-Based Approach for Reconciliation of Polychronous Execution Traces, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011.
DOI : 10.1109/SEAA.2011.47

C. Hardebolle and F. Boulanger, Exploring multi-paradigm modeling techniques SIMULATION: Transactions of The Society for Modeling and Simulation International 85, pp.688-708, 2009.

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/BFb0020947

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

F. Mallet, J. Deantoni, C. André, and R. De-simone, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010.
DOI : 10.1007/978-3-642-18216-7

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

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, pp.250-264978, 2008.
DOI : 10.1007/978-3-540-85778-5_18

H. Tej and B. Wolff, A corrected failure-divergence model for CSP in Isabelle/HOL, 4th International Symposium of Formal Methods Europe Proceedings. pp, pp.318-337, 1997.
DOI : 10.1007/3-540-63533-5_17

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.
DOI : 10.1007/3-540-61042-1_42

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

V. Larsen, M. E. Deantoni, J. Combemale, B. Mallet, and F. , A Behavioral Coordination Operator Language (BCOoL), 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015.
DOI : 10.1109/MODELS.2015.7338249

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

M. Viroli, A core calculus for correlation in orchestration languages, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.74-95, 2007.
DOI : 10.1016/j.jlap.2006.05.006

S. Weeks, Whole-program compilation in MLton, Proceedings of the 2006 workshop on ML , ML '06, p.http, 2006.
DOI : 10.1145/1159876.1159877

M. Zhang and F. Mallet, An Executable Semantics of Clock Constraint Specification Language and Its Applications, pp.37-51978, 2016.
DOI : 10.1007/978-3-319-29510-7_2

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