J. Favre, Megamodelling and Etymology, Transformation Techniques in Software Engineering, number 05161 in Dagstuhl Seminar Proceedings Internationales Begegnungs und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, pp.1862-4405, 2006.

C. Hardebolle, Formalisation des modèles d'exécution et de leurs interactions, 2008.

G. Berry, Real Time Programming : Special Purpose or General Purpose Languages, Information Processing 89, p.11, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

F. Boulanger, Intégration de modules synchrones dans la programmation par objets, 1993.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

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. Stephen and . Edwards, The Specification and Execution of Heterogeneous Synchronous Reactive Systems, 1997.

C. Lewerentz and T. Lindner, Formal Development of Reactive Systems : Case Study Production Cell, LNCS, vol.891, pp.978-3540588672978, 1995.
DOI : 10.1007/3-540-58867-1

S. Trung-hieu-phan, F. Gérard, and . Terrier, Real-time system modeling with ACCORD/UML methodology : Illustration through an automotive case study, FDL, pp.342-354, 2003.

]. C. André, F. Mallet, and R. De-simone, Modeling Time(s), Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

F. André, M. Mallet, and . Frati, Multiform Time in UML for Real-time Embedded Applications, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), pp.232-237, 2007.
DOI : 10.1109/RTCSA.2007.51

]. Barbosa, Towards a Calculus of State-based Software Components, Journal of Universal Computer Science, issue.98, pp.891-909, 2003.

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, pp.1-18, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

J. Tretmans, Test generation with inputs, outputs, and quiescence, Lecture Notes in Computer Science, vol.1055, pp.127-146, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008.
DOI : 10.1109/TC.2008.26

A. Sangiovanni-vincentelli, Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proceedings of the IEEE, vol.95, issue.3, pp.467-506, 2007.
DOI : 10.1109/JPROC.2006.890107

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12583, issue.10, pp.576-580, 1969.
DOI : 10.1007/978-94-011-1793-7_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392

J. Bezivin, M. Barbero, and F. Jouault, On the Applicability Scope of Model Driven Engineering, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07), pp.3-7, 2007.
DOI : 10.1109/MOMPES.2007.16

]. T. Henzinger and J. Sifakis, The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007.
DOI : 10.1109/MC.2007.364

P. J. Mosterman and H. Vangheluwe, Computer Automated Multi- Paradigm Modeling : An Introduction. Simulation : Transactions of the Society for Modeling and Simulation International Special Issue : Grand Challenges for Modeling and Simula- tion, pp.433-450, 2004.
DOI : 10.1177/0037549704050532
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.7522

L. Skyttner, General Systems Theory, second edition, World Scientific, pp.978-981, 2005.

C. Atkinson and T. Kühne, Model-driven development: a metamodeling foundation, IEEE Software, vol.20, issue.5, pp.36-41, 2003.
DOI : 10.1109/MS.2003.1231149

J. Bézivin, F. Jouault, and P. Valduriez, On the Need for MegamodelsGPCE : Best Practices for Model-Driven Software Development workshop, Proceedings of the OOPSLA Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2004.

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

F. Balarin, E. Sentovich, M. Chiodo, P. Giusto, H. Hsieh et al., Hardware-Software Co-design of Embedded Systems ? The POLIS approach, 1997.

]. J. Burch, R. Passerone, and A. L. Sangiovanni-vincentelli, Overcoming heterophobia: modeling concurrency in heterogeneous systems, Proceedings Second International Conference on Application of Concurrency to System Design, p.13, 2001.
DOI : 10.1109/CSD.2001.981761
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.9511

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

. Sci, The Netherlands, The Netherlands, Comput. Program, vol.16, issue.2, pp.103-149, 1991.

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

]. D. Harel and A. Pnueli, Logics and models of concurrent systems, volume 13 of Nato Asi Series F : Computer And Systems Sciences, chapter On the development of reactive systems, pp.477-498, 1985.

]. Gonthier, Sémantiques et modèles d'exécution des langages réactifs synchrones ; application à Esterel, 1988.

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy : A Mixed- Paradigm Simulation/Prototyping Platform in C++, Proceedings of the C++ At Work Conference, 1991.

R. Mateescu, P. Poizat, and G. Salaün, Behavioral adaptation of component compositions based on process algebra encodings, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.385-388, 2007.
DOI : 10.1145/1321631.1321690
URL : https://hal.archives-ouvertes.fr/hal-00342148

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

C. Attiogbé, Mastering Specification Heterogeneity with Multifacet Analysis, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.26

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. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Systems in BIP, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06), pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

-. André, F. Boulanger, M. Péraldi, J. Rigault, and G. Vidal-naquet, Objects and Synchronous Programming, Journal Européen des Systèmes Automatisés (JESA), vol.31, issue.3, pp.417-432, 1997.

-. Boulanger, Integration of Dependability Features in a Synchronous Application, International Review on Computers and Software (IRECOS), vol.3, issue.1, pp.31-37, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288619

I. , M. Feredj, F. Boulanger, and A. Mbobi, A model of domain-polymorph component for heterogeneous system design Special Issue : Software Performance -Modeling and Analysis, Rank : A, pp.112-120, 2009.

I. Mbobi, F. Boulanger, and M. Feredj, An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components, Praise Worthy Prize, pp.179-189, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00256002

I. , C. Hardebolle, and F. Boulanger, Multi-Formalism Modelling and Model Execution, International Journal of Computers and their Applications, vol.31, issue.3, pp.193-203, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00421169

-. Ionescu, G. Polaillon, and F. Boulanger, Minimum Tree Cost Quartet Puzzling, Journal of Classification, vol.100, issue.2, pp.136-157, 2009.
DOI : 10.1007/s00357-010-9053-9
URL : https://hal.archives-ouvertes.fr/hal-00530627

-. Hardebolle and F. Boulanger, Exploring Multi-Paradigm Modeling Techniques SIMULATION : Transactions of The Society for Modeling and Simulation International, Rank : B, pp.688-708, 2007.

-. Boulanger, C. Jacquet, C. Hardebolle, and E. Rouis, Modeling Heterogeneous Points of View with ModHel???X, Articles dans des actes de conférence édités MODELS 2009 Workshops, pp.310-324, 2010.
DOI : 10.1007/978-3-642-12261-3_29
URL : https://hal.archives-ouvertes.fr/hal-00444504

-. Vidal-naquet and F. Boulanger, Integration of Synchronous Modules in an Object-Oriented Language, Information Systems ? Correctness and Reusability , selected papers from the IS-CORE Workshop, pp.279-291, 1995.

-. Hardebolle and F. Boulanger, ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Models in Software Engineering : Workshops and Symposia at MoDELS, pp.247-258, 2007.
DOI : 10.1007/978-3-540-69073-3_26
URL : https://hal.archives-ouvertes.fr/hal-00554780

I. , M. Feredj, F. Boulanger, and M. Mbobi, An Approach of Domain Polymorph Component Design, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, pp.145-150, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00262344

I. Mbobi, F. Boulanger, and M. Feredj, Execution model for non-hierarchical heterogeneous modeling, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004., pp.139-144, 2004.
DOI : 10.1109/IRI.2004.1431450
URL : https://hal.archives-ouvertes.fr/hal-00261594

I. Mbobi, F. Boulanger, and M. Feredj, Issues of hierarchical heterogeneous modeling in component reusability, IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005., pp.84-89, 2005.
DOI : 10.1109/IRI-05.2005.1506454
URL : https://hal.archives-ouvertes.fr/hal-00260795

I. , F. Boulanger, and C. Hardbolle, Simulation of Multi- Formalism Models with ModHel'X Acceptance rate, Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST2008), pp.318-327, 2008.

I. , C. Jacquet, F. Boulanger, and D. Marca-det, From Data to Events : Checking Properties on the Control of a System, Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCO- DE'2008) ACM-IEEE MEMOCODE'2008, pp.17-26, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00289103

I. Bouzoualegh, D. Marcadet, F. Boulanger, and C. Jacquet, An Architecture Description Language for Verification in Component-Based Software, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.365-368, 2008.
DOI : 10.1109/COMPSAC.2008.107
URL : https://hal.archives-ouvertes.fr/hal-00334977

I. Benyahia, A. Cuccuru, S. Taha, F. Terrier, F. Boulanger et al., Extending the Standard Execution Model of UML for Real-Time Systems, Distributed, Parallel and Biologically Inspired Systems IFIP Advances in Information and Communication Technology, pp.43-54
DOI : 10.1007/978-3-642-15234-4_6
URL : https://hal.archives-ouvertes.fr/hal-00534388

-. Kanso, M. Aiguier, F. Boulanger, and A. Touil, Testing of Abstract Components, Proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, pp.184-198, 2010.
DOI : 10.1007/978-3-642-14808-8_13
URL : https://hal.archives-ouvertes.fr/hal-00782893

-. Boulanger, C. Jacquet, E. Rouis, and C. Hardebolle, Modeling Heterogeneous Points of View with Mod- Hel'X nd Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages at MODELS, Proceedings of NFPinDSML2009, pp.1-14, 2009.

-. Boulanger, G. Polaillon, D. Carstoiu, A. Cernian, and S. Bodea, Web Search based on Clustering by Compression, Proceedings of the IADIS 2007 e-Society International Conference, pp.419-423, 2007.

-. Hardebolle, F. Boulanger, D. Marcadet, G. Vidal-naquet, J. M. Fernandes et al., A Generic Execution Framework for Models of Computation, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07), pp.45-54, 2007.
DOI : 10.1109/MOMPES.2007.1
URL : https://hal.archives-ouvertes.fr/hal-00256116

I. , F. Boulanger, and M. Mbobi, An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded System Modeling, International Symposium on Collaborative Technologies and Systems (CTS'06), pp.194-199, 2006.
DOI : 10.1109/CTS.2006.15

I. , F. Boulanger, and M. Mbobi, Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques, 2006 Canadian Conference on Electrical and Computer Engineering, pp.418-421, 2006.
DOI : 10.1109/CCECE.2006.277471
URL : https://hal.archives-ouvertes.fr/hal-00258299

I. , F. Boulanger, and G. Vidal-naquet, A Primitive Execution Model for Heterogeneous Modeling, Proceedings of the 2006 International Conference on Software and Data Technologies, pp.247-252, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00258105

I. Mbobi, F. Boulanger, and M. Feredj, Non-hierarchical heterogeneity Communication and Control Technologies (CCCT'03), volume III, Proceedings of the 2003 International conference on Computer, pp.430-435, 2003.

-. André, F. Boulanger, and A. Girault, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771

I. , F. Boulanger, and G. Vidal-naquet, Modular Development of Control and Computational Modules Using Reactive Objects, Object Oriented Techology : ECOOP'98 Workshop Reader, pp.515-518, 1998.

I. , F. Boulanger, and G. Vidal-naquet, An Object Execution Model for Reactive Modules with a C++ Implementation, Object-Oriented Programming , ECOOP'96 Workshop Reader, pp.443-449, 1996.

I. , F. Boulanger, and G. Vidal-naquet, Synchronous Reactive Programming in Ptolemy, Proceedings of the 2nd World Conference on Integrated Design and Process Technology, 1996.

-. Boulanger and G. Vidal-naquet, Objets réactifs pour le développement modulaire du contrôle, Articles dans des conférences nationales avec comité de lecture Actes du 2e congrès Modélisation des systèmes réactifs (MSR'99), pp.333-340, 1999.

-. André, F. Boulanger, M. Péraldi, J. Rigault, and G. Vidal-naquet, Objets et programmation synchrone, Actes du congrès AFCET Modélisation des systèmes réactifs, pp.55-62, 1996.

-. Vidal-naquet, F. Boulanger, and H. Delebecque, Intégration de modules synchrones dans un langage à objets, Actes de la conférence Real Time Systems (RTS'94), pp.245-260, 1994.

-. Boulanger, Formalisation de ModHel'X. Rapport interne 2009-09-25-DI-FB, Supélec, Communications, 2009.

C. Mbobi, F. Boulanger, and M. Feredj, Integration of a Flat Heterogeneous Domain in Ptolemy II, Sixth Biennal Ptolemy Conference, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00260783

-. Boulanger, Printing Digital Photographs with L A T E X. Communications of the TeX Users Group, pp.453-461, 2003.

-. Boulanger, LaTeX au pays des tableurs. Cahiers GUTenberg, pp.39-407, 2001.
DOI : 10.5802/cg.289

C. , F. Boulanger, and Y. Bourda, Documentation de projets en XML. Cahiers GUTenberg, pp.35-3615, 2000.
DOI : 10.5802/cg.272

C. Vidal-naquet and F. Boulanger, An Object Oriented Execution Model for Synchronous Modules, Synchronous Languages Seminar, 1994.

-. Vidal-naquet, F. Boulanger, and H. Delebecque, Outil d'intégration automatique de modules de sûreté de fonctionnement pour des applications temps-réel, Journée thématique DRET : temps-réel et sûreté de fonctionnement dans les applications de la défense, 1994.