C. A. Furia, D. Mandrioli, A. Morzenti, and M. Rossi, Modeling Time in Computing, ser. Monographs in Th, Comp. Science, 2012.

F. Boulanger, C. Hardebolle, C. Jacquet, and D. Marcadet, Semantic Adaptation for Models of Computation, 2011 Eleventh International Conference on Application of Concurrency to System Design, pp.153-162, 2011.
DOI : 10.1109/ACSD.2011.17

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

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

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

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

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

B. P. Zeigler, T. G. Kim, and H. Praehofer, Theory of Modeling and Simulation, 2000.

E. Syriani, J. Gray, and H. Vangheluwe, Modeling a Model Transformation Language, Domain Engineering, pp.211-237, 2013.
DOI : 10.1007/978-3-642-36654-3_9

S. Demathieu, F. Thomas, C. André, S. Gérard, and F. Terrier, First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)
DOI : 10.1109/ISORC.2008.36

W. Godard, M. Valentin, P. Kortmann, and M. Gerhardt, Analysis of real-time systems scheduling using MARTE, 2013.

. Metge, Xoncrete: a scheduling tool for partitioned real-time systems, Proceedings of the Embedded Real Time Software and Systems Conference, 2010.

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

F. Boulanger, A. Dogui, C. Hardebolle, C. Jacquet, D. Marcadet et al., Semantic Adaptation Using CCSL Clock Constraints, Post-proceedings of MODELS 2011 Workshops, ser. LNCS, pp.104-118, 2012.
DOI : 10.1007/978-3-642-29645-1_12

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

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

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proc. of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

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

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.431-4336, 2008.
DOI : 10.1145/1376804.1376811

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

Z. Manna and A. Pnueli, Verifying hybrid systems, Hybrid Systems, pp.4-35, 1993.
DOI : 10.1007/3-540-57318-6_22

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

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

B. Combemale, J. Deantoni, B. Baudry, R. B. France, J. Jézéquel et al., Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.68-71, 2014.
DOI : 10.1109/MC.2014.147

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

B. Combemale, J. Deantoni, M. Vara-larsen, F. Mallet, O. Barais et al., Reifying Concurrency for Executable Metamodeling, 6th International Conference on Software Language Engineering, ser. LNCS, pp.365-384, 2013.
DOI : 10.1007/978-3-319-02654-1_20

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

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

B. Meyers, J. Denil, F. Boulanger, C. Hardebolle, C. Jacquet et al., A DSL for Explicit Semantic Adaptation, Proceedings of MPM 2013, pp.47-56, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00875798

Y. Zhao, J. Liu, and E. Lee, A programming model for timesynchronized distributed real-time systems, Real Time and Embedded Technology and Applications Symposium, pp.259-268, 2007.

G. Berry, The Constructive Semantics of Pure Esterel, 1996.

T. T. Le, R. Passerone, U. Fahrenberg, and A. Legay, Tag Machines for Modeling Heterogeneous Systems, 2013 13th International Conference on Application of Concurrency to System Design, pp.186-195, 2013.
DOI : 10.1109/ACSD.2013.23

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

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, ser, LNCS, vol.2283, 2002.

M. Wenzel, L. C. Paulson, and T. Nipkow, The Isabelle Framework, Theorem Proving in Higher Order Logics, pp.33-38, 2008.
DOI : 10.1007/978-3-540-74591-4_26

A. D. Brucker and B. Wolff, On theorem prover-based testing, Formal Aspects of Computing, vol.29, issue.4, pp.683-721, 2013.
DOI : 10.1007/s00165-012-0222-y

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/s11334-009-0109-0

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