A. Agrawal, G. Simon, and G. Karsai, Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations, Electronic Notes in Theoretical Computer Science, vol.109, pp.43-56, 2004.
DOI : 10.1016/j.entcs.2004.02.055

]. Basu, BIP illustrative toy examples, 2006.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous realtime components in BIP, Software Engineering and Formal Methods SEFM 2006. Fourth IEEE International Conference on, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Basu, S. Bensalem, M. Bozga, J. Combaz, and M. Jaber, Joseph Sifakiset al. Rigorous componentbased system design using the BIP framework, 2011.

]. 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

]. Boulanger, A. Dogui, C. Hardebolle, and C. Jacquet, Dominique Marcadet et Iuliana Prodan Semantic Adaptation Using CCSL Bibliographie Clock Constraints, Jörg Kienzle, éditeur, Models in Software Engineering , volume 7167 de Lecture Notes in Computer Science, pp.104-118, 2012.

]. 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, page 10 pages, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905075

M. Dorel-bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, pp.77-86, 2009.

]. Brooks, A. Edward, X. Lee, S. Liu, Y. Neuendorffer et al., Heterogeneous concurrent modeling and design in java Ptolemy ii domains), EECS Department, vol.3, 2008.

P. Luca, R. Carloni, A. Passerone, and . Pinto, Languages and tools for hybrid systems design, 2006.

P. Caspi and A. Curic, Aude Maignan, Christos Sofronis et Stavros Tripakis Translating Discrete-Time Simulink to Lustre, Rajeev Alur et Insup Lee, éditeurs, Embedded Software, volume 2855 de Lecture Notes in Computer Science, pp.84-99, 2003.

J. Eker, W. Jorn, . Janneck, A. Edward, J. Lee 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=10.1.1.12.8244

P. Fritzson, Introduction to Object-Oriented Modeling and Simulation with Modelica using OpenModelica, 2012.

G. Gössler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

A. Thomas, J. Henzinger, and . Sifakis, The discipline of embedded systems design, Computer, vol.40, issue.10, pp.32-40, 2007.

J. Jézéquel and B. Combemale, Didier Vojtiseket al. Ingénierie dirigée par les modèles : des concepts à la pratique, 2012.

S. Kent, Model Driven Engineering, Integrated Formal Methods, pp.286-298, 2002.
DOI : 10.1007/3-540-47884-1_16

H. Klee and R. Allen, Simulation of dynamic systems with matlab and simulink, 2007.

. Larousse and . Larousse, Site online du dicionnaire Larousse

A. Edward, A. Lee, and . 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.

A. Edward, H. Lee, and . Zheng, Operational semantics of hybrid systems, Hybrid Systems : Computation and Control, pp.25-53, 2005.

A. Edward, . Lee, L. Alberto, and . Sangiovanni-vincentelli, Component-based design for the future, Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.1-5, 2011.

J. Liu, Continuous and FSM domain demo -Thermostat Sys- tem. http://ptolemy.eecs.berkeley.edu/ptolemyII/ptIIlatest/ ptII/ptolemy/domains/continuous/doc/index.htm. [Mallet 2008] Frédéric Mallet. Clock constraint specification language : specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, pp.309-314, 2008.

C. Deantoni, R. André, and . Simone, Frédéric Mallet Julien The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, pp.99-106, 2010.

M. Mbobi, Modélisation hétérogène non-hiérarchique, Thèse de doctorat, 2004.

B. Meyers, J. Denil, F. Boulanger, C. Hardebolle, C. Jacquet et al., A DSL for Explicit Semantic Adaptation, Proceedings of MPM 2013 (Multi-Paradigm Modeling workshop at Models 2013), pp.1-10, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00875798

J. Pieter, H. Mosterman, and . Vangheluwe, Computer automated multiparadigm modeling : An introduction, Simulation, vol.80, issue.9, pp.433-450, 2004.

L. W. Nagel, SPICE2 : A Computer Program to Simulate Semiconductor Circuits, Thèse de doctorat, 1975.

C. Norman-scaife, P. Sofronis, S. Caspi, F. Tripakis, and . Maraninchi, Defining and translating a safe subset of simulink/stateflow into lustre, Proceedings of the 4th ACM international conference on Embedded software, pp.259-268, 2004.

]. Timmerman, Embedded systems : Definitions, taxonomies, field, 2007.

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

R. Zurawki, The industrial information technology : handbook, 2005.