, MATLAB

I. Akram, Mise en oeuvre d'une approche formelle en ingénierie des modèles, 17eme édition d'AFADL, Approches formelles dans l'assistance au développement de logiciels, 2018.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Trans. Softw. Eng. Methodol, vol.6, issue.3, pp.213-249, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00444067

E. Andrade, P. Maciel, G. Callou, and B. Nogueira, A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints, Digital Society, 2009. ICDS '09. Third International Conference on, pp.266-271, 2009.

C. André, F. Mallet, and M. Peraldi-frati, A multiform time approach to real-time system modeling: Application to an automotive system, Int. Symp. on Industrial Embedded Systems, pp.234-241, 2007.

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009.

C. André and F. Mallet, Clock constraint specification language in UML/MARTE CCSL, Research Report, vol.6540, 2008.

C. André, J. Deantoni, F. Mallet, R. De, and S. , The Time Model of Logical Clocks available in the OMG MARTE profile, pp.201-227, 2010.

F. Arbab, I. Herman, and P. Spilling, An overview of manifold and its implementation, Concurrency: Pract. Exper, vol.5, issue.1, pp.23-70, 1993.

F. Arbab, What do you mean, coordination?, Bulletin of the Dutch Association for Theoretical Computer Science (NVTI, pp.11-22, 1998.

F. Arbab, A channel-based coordination model for component composition, Mathematical Structures in Computer Science, pp.329-366, 2002.

A. Arnold, Transition systems and concurrent processes, 1987.

D. Balasubramanian, C. S. P?s?reanu, M. W. Whalen, G. Karsai, and M. Lowry, Polyglot: Modeling and analysis for multiple statechart formalisms, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pp.45-55

N. Y. York and . Usa, , 2011.

L. Barroca, J. L. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh, Problem frames: A case for coordination, Coordination, 2004.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time systems in BIP, 4th IEEE SEFM, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in bip, SEFM, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

R. Bendraou, J. Jézéquel, and F. Fleurey, Combining aspect and model-driven engineering approaches for software process modeling and execution, Trustworthy Software Development Processes, pp.148-160, 2009.

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

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Sci. Comput. Program, vol.16, issue.2, pp.103-149, 1991.

A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-vincentelli, Tag machines, ACM Emsoft, 2005.

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural analysis of multi-mode DAE systems. In Goran Frehse and Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01521918

R. Bernijazov, Early timing analysis of scenario-based software requirements, 2017.

G. Berry, The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.425-454, 2000.

G. Berry, The Esterel Language Primer, version v5_91, 2000.

P. Bjureus and A. Jantsch, Modeling of mixed control and dataflow systems in MASCOT. VLSI Systems, IEEE Transactions on, 2001.

P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn et al., Centaur: the system, 3rd ACM software engineering symposium on Practical software development environments, pp.14-24, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00075774

F. Boulanger and C. Hardebolle, Simulation of multi-formalism models with modhelx, ICST, pp.318-327, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00289188

F. Boulanger, A. Dogui, C. Hardebolle, C. Jacquet, D. Marcadet et al., Semantic Adaptation Using CCSL Clock Constraints, Workshops and Symposia at MODELS 2011, pp.104-118, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00641413

T. Bourke and M. Pouzet, Zelus: A Synchronous Language with ODEs, 16th International Conference on Hybrid Systems: Computation and Control (HSCC'13), pp.113-118, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909029

E. Bousse, T. Mayerhofer, B. Benoit-combemale, and . Baudry, A generative approach to define rich domain-specific trace metamodels, Modelling Foundations and Applications, pp.45-61, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01154225

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution Framework of the GEMOC Studio (Tool Demo), Proceedings of the, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

, ACM SIGPLAN International Conference on Software Language Engineering, 2016.

F. Boussinot and R. Simone, The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00075075

G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu et al., A manifesto for model merging, Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa '06, pp.5-12, 2006.

J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Readings in hardware/-software co-design. chapter Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, pp.527-543, 2002.

D. Bustan, D. Fisman, and J. Havlicek, Automata construction for PSL, 2005.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2006.

W. Cazzola, Domain-specific languages in few steps -the neverlang approach, Software Composition -11th International Conference, pp.162-177, 2012.

S. Centomo, J. Deantoni, and R. Simone, Using SystemC Cyber Models in an FMI Co-Simulation Environment, 19th Euromicro Conference on Digital System Design, vol.19, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01358702

B. Chapman, M. Haines, P. Mehrota, H. Zima, and J. Van-rosendale, Opus: A coordination language for multidisciplinary applications, 1997.

K. Chen, J. Sztipanovits, and S. Neema, Toward a semantic anchoring infrastructure for domain-specific modeling languages, Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT '05, pp.35-43, 2005.

K. Chen, J. Sztipanovits, and S. Neema, Compositional specification of behavioral semantics, Design, Automation Test in Europe Conference Exhibition, 2007. DATE '07, pp.1-6, 2007.

C. Clifton and G. T. Leavens, Multijava: Modular open classes and symmetric multiple dispatch for java, OOPSLA, pp.130-145, 2000.

X. Benoit-combemale, M. Crégut, and . Pantel, A Design Pattern to Build Executable DSMLs and associated V&V tools, APSEC. IEEE, 2012.

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying concurrency for executable metamodeling, the 6th International Conference on Software Language Engineering (SLE 2013), 2013.

J. Benoit-combemale, B. Deantoni, R. Baudry, J. France, J. Jézéquel et al., Globalizing Modeling Languages. Computer, 2014.

J. Benoit-combemale, B. Deantoni, R. B. Baudry, J. France, J. Jezequel et al., Globalizing modeling languages, Computer, vol.47, issue.6, pp.68-71, 2014.

J. Benoit-combemale, O. Deantoni, A. Barais, E. Blouin, C. Bousse et al., A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest, 2015.

S. Cook, G. Jones, S. Kent, and A. Wills, Domain-Specific Development with Visual Studio DSL Tools, 2007.

J. R. Cordy, C. D. Halpern, and E. Promislow, TXL: a rapid prototyping system for programming language dialects, Conf. Int Computer Languages, pp.280-285, 1988.

L. Juan-de and H. Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, Fundamental Approaches to Software Engineering, vol.2306, pp.174-188, 2002.

J. Deantoni and F. Mallet, Timesquare: Treat your models with logical time, Objects, Models, Components, Patterns -50th International Conference, vol.7304, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, INRIA, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

J. Deantoni, F. Mallet, and C. André, On the Formal Execution of UML and DSL Models. WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00587100

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J. Babau et al., RT-simex: retro-analysis of execution traces, SIGSOFT FSE, pp.377-378, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00587116

J. Deantoni, F. Mallet, C. André, and F. Thomas, Logical time @ work: the RT-Simex project, Sophia Antipolis Formal Approach, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00587151

J. Deantoni, C. André, and R. Gascon, CCSL denotational semantics. Research Report RR-8628, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01082274

J. Deantoni, P. Issa-diallo, J. Champeau, C. Benoit-combemale, and . Teodorov, Operational Semantics of the Model of Concurrency and Communication Language, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01060601

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01087442

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: a meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

F. Marco-di-natale, A. Chirico, A. Sindico, and . Sangiovanni-vincentelli, An MDA approach for the generation of communication adapters integrating SW and FW components from Simulink, ACM/IEEE Models, 2014.

D. Power and . Aceplorer, , 2014.

E. Durand, Description et vérification d'architectures d'application temps réel : CLARA et les réseaux de Petri temporels, 1998.

S. Edwards, L. Lavagno, A. Lee, and . Sangiovanni-vincentelli, Design of embedded systems: formal models, validation, and synthesis, Proc. of the IEEE, vol.85, issue.3, pp.366-390, 1997.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity -the Ptolemy approach, Proc. of the IEEE, vol.91, pp.127-144, 2003.

T. Ekman and G. Hedin, The JastAdd system -modular extensible compiler construction, Sci. Comput. Program, pp.14-26, 2007.

J. Ellsberger, A. Sarma, and D. Hogrefe, SDL : formal object-oriented language for communicating systems, 1997.

M. Emerson and J. Sztipanovits, Techniques for metamodel composition, The 6th OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2006, pp.123-139, 2006.

. Esper and . Espertech, , 2009.

M. Faugère, T. Bourbeau, S. Robert-de-simone, and . Gérard, Marte: Also an UML profile for modeling AADL applications, ICECCS -UML&AADL, pp.359-364, 2007.

H. Peter, J. Feiler, and . Hansson, Flow latency analysis with the architecture analysis and design language, 2007.

C. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 2002.

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A generic approach for automatic model composition, AOM Workshop at Models, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477568

B. Lars-ake-fredlund, J. Jonsson, and . Parrow, An implementation of a translational semantics for an imperative language, CONCUR, pp.246-262, 1990.

A. Gamatié, L. Sébastien, É. Beux, R. Piel, A. Ben-atitallah et al., A model-driven design framework for massively parallel embedded systems, ACM Trans. Embedded Comput. Syst, vol.10, issue.4, p.39, 2011.

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

D. Garlan and M. Shaw, An introduction to software architecture, 1994.

R. Gascon, F. Mallet, and J. Deantoni, Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL, Eighteenth International Symposium on Temporal Representation and Reasoning, pp.141-148, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00597086

, IEEE

D. Gelernter and N. Carriero, Coordination languages and their significance, Commun. ACM, 1992.

A. Girault, B. Lee, and E. A. Lee, Hierarchical finite state machines with multiple concurrency models, IEEE TCAD, 1999.

A. Girault, B. Lee, and E. A. Lee, Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on, vol.18, issue.6, pp.742-760, 1999.

C. Glitia, J. Deantoni, and F. Mallet, Logical time at work: Capturing data dependencies and platform constraints, Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, p.241, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00545866

C. Glitia, P. Dumont, and P. Boulet, Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, vol.21, issue.2, pp.105-131, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00522751

C. Glitia, J. Deantoni, F. Mallet, J. Millo, P. Boulet et al., Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE, Design Autom. for Emb. Sys, vol.19, issue.1-2, pp.1-33, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00727239

C. Gomez, J. Deantoni, and F. Mallet, Multi-view Power Modeling Based on UML, MARTE and SysML. Software Engineering and Advanced Applications (SEAA), pp.17-20, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688853

C. Gomez, J. Deantoni, and F. Mallet, Power Consumption Analysis Using Multi-View Modeling. Power and Timing Modeling, Optimization and Simulation (PATMOS), pp.235-238, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00906733

D. Gries, The science of programming, vol.198, 1981.

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

T. A. Henzinger, The theory of hybrid automata, Verification of Digital and Hybrid Systems, vol.170, pp.265-292

, , 2000.

C. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

C. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.

W. Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron et al., Hotspot: a compact thermal modeling methodology for early-stage vlsi design. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.14, issue.5, pp.501-513, 2006.

, IEEE recommended practice for architectural description of software-intensive systems, IEEE Std, pp.1-23, 1471.

, IEEE. Systems and software engineering -architecture description. ISO/IEC/IEEE 42010:2011(E) (Revision of ISO/IEC 42010:2007 and IEEE Std 1471-2000), pp.1-46, 2011.

A. Jantsch, Modeling embedded systems and SoC's: concurrency and time in models of computation, 2004.

A. Jantsch and I. Sander, Models of computation and languages for embedded system design. Computers and Digital Techniques, IEE Proceedings, vol.152, issue.2, pp.114-129, 2005.

A. Bijoy, . Jose, D. Hiren, . Patel, K. Sandeep et al., Generating multi-threaded code from polychronous specifications, Electronic Notes in Theoretical Computer Science, vol.238, issue.1, pp.57-69, 2009.

G. Kahn, The semantics of a simple language for parallel programming. Information Processing, pp.471-475, 1974.

M. Richard, R. E. Karp, and . Miller, Properties of a model for parallel computations: Determinacy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966.

G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science, vol.9, 2003.

C. L. Lennart, E. Kats, and . Visser, The spoofax language workbench: rules for declarative specification of languages and IDEs, OOPSLA '10, pp.444-463, 2010.

A. Khecharem, C. Gomez, J. Deantoni, F. Mallet, and R. Simone, Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach, FDL 2014 : Forum on specification and Design Languages, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01060309

J. Kienzle, G. Mussbacher, J. Benoit-combemale, and . Deantoni, A Unifying Framework for Homogeneous Model Composition. Software & Systems Modeling, pp.1-19, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01949050

J. Klein and J. Jézéquel, Problems of the semantic-based weaving of scenarios, Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795065

J. Klein and J. Kienzle, Reusable aspect models, IN: Proceedings. Of The 11th International Workshop On Aspect Oriented Modeling, 2007.

J. Klein, L. Hélouët, and J. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th International Conference on Aspect-Oriented Software Development, pp.27-38, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00921480

J. Klein, F. Fleurey, and J. Jézéquel, Weaving Multiple Aspects in Sequence Diagrams, Transactions on Aspect-Oriented Software Development (TAOSD), vol.4620, pp.167-199, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00505223

P. Klint, A meta-environment for generating programming environments, ACM TOSEM, vol.2, pp.176-201, 1993.

A. Knüpfer, R. Brendel, H. Brunst, H. Mix, and W. E. Nagel, Introducing the open trace format (otf), International Conference on Computational Science, pp.526-533, 2006.

E. Donald and . Knuth, Semantics of context-free languages, Theory of Computing Systems, vol.2, pp.127-145, 1968.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging models with the epsilon merging language (EML), ACM/IEEE Models/UML, 2006.

B. Holger-krahn, S. Rumpe, and . Volkel, MontiCore: Modular Development of Textual Domain Specific Languages, Objects, Components, Models and Patterns, 2008.

B. Holger-krahn, S. Rumpe, and . Völkel, Monticore: a framework for compositional development of domain specific languages, International Journal on Software Tools for Technology Transfer, vol.12, issue.5, pp.353-372, 2010.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

E. A. Lee and D. G. Messerschmitt, Synchronous Data Flow. Proc. of the IEEE, vol.75, pp.1235-1245, 1987.

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

E. A. Lee, Multidimensional streams rooted in dataflow, Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, pp.295-306, 1993.

E. A. Lee and D. G. Messerschmitt, Static scheduling of synchronous data flow programs for digital signal processing, IEEE Trans. Computers, vol.36, issue.1, pp.24-35, 1987.

A. Edward, A. Lee, and . Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE TCAD, 1998.

S. Lee, F. Mallet, R. De, and S. , Dealing with AADL end-to-end flow latency with UML Marte, ICECCS -UML&AADL, pp.228-233, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371400

G. Liboni, J. Deantoni, A. Portaluri, D. Quaglia, and R. Simone, Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements, 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01675396

C. David, J. J. Luckham, L. M. Kenney, J. Augustin, D. Vera et al., Specification and analysis of system architecture using rapide, IEEE Trans. Softw. Eng, vol.21, issue.4, pp.336-355, 1995.

F. Mallet and C. André, On the semantics of UML/MARTE clock constraints, ISORC, pp.305-312, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00383279

F. Mallet, . Robert-de-simone, and . Vs, AADL for Discrete-Event and Discrete-Time Domains, LNEE, chapter, vol.36, pp.27-41, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00416656

F. Mallet, C. André, and J. Deantoni, Executing AADL models with UML/MARTE, 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.371-376, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00416592

F. Mallet, J. Deantoni, C. André, R. De, and S. , The clock constraint specification language for building timed causality models -application to synchronous data flow graphs, ISSE, vol.6, issue.1-2, pp.99-106, 2010.

F. Mallet, J. Deantoni, C. André, R. De, and S. , The Clock Constraint Specification Language for building timed causality models, Innovations in Systems and Software Engineering, vol.6, pp.99-106, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00464894

R. Mannadiar, A multi-paradigm modelling approach to the foundations of domain-specific modelling, 2012.

R. Mateescu and D. Thivolle, A model checking language for concurrent value-passing systems, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

J. Mccarthy, Towards a mathematical science of computation. Information processing, vol.62, pp.21-28, 1962.

N. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, Proceedings of the 6th European SOFTWARE ENGINEERING Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC '97/FSE-5, pp.60-76, 1997.

R. Milner, A calculus of communicating systems, 1982.

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

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-Languages, In MoDELS, pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

, Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.2.1, 2015.

, UML Object Constraint Language (OCL) 2.0. Object Management Group, 2003.

, Meta Object Facility (MOF) 2.0 Core. Object Management Group, 2006.

, Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0. Object Management Group, 2011.

. Omg and . Uml, Superstructure, v2.2. Object Management Group, 2009.

. Omg and . Uml, Profile for MARTE, v1.0. Object Management Group, 2009.

. Omg and . Uml, Profile for MARTE. Object Management Group, v1, 2010.

. Omg and . Omg, systems modeling language (sysml), 2010.

. Omg and . Omg, Unified Modeling Language, 2011.

A. George, Papadopoulos and Farhad Arbab. Coordination models and languages, 1998.

M. Peraldi-frati and J. Deantoni, Scheduling multi clock real time systems: From requirements to implementation, 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.50-57, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00586851

. Bibliography,

M. Peraldi-frati, A. Goknil, J. Deantoni, and J. Nordlander, A timing model for specifying multi clock automotive systems: The timing augmented description language V2, ICECCS 2012, pp.230-239, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00687562

C. A. Petri, Introduction to general net theory, Advanced Course: Net Theory and Applications, pp.1-19, 1975.

C. A. Petri, Concurrency theory, Petri Nets: Central Models and their properties, vol.254, pp.4-24, 1987.

. Gordon-d-plotkin, A structural approach to operational semantics, 1981.

, PSL. IEEE standard for Property Specification Language (PSL), IEEE std, pp.1850-2005

R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry, Model composition -a signature-based approach, Proceedings of the AOM Workshop at MODELS'05, 2005.

M. Rhepp, H. Stögner, and A. Uhl, Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004.

I. Sander and A. Jantsch, System Modeling and Transformational Design Refinement in ForSyDe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.1, pp.17-32, 2004.

, Scilab. Scilab Consortium. Scilab, 2013.

S. Dana, C. Scott, and . Strachey, Toward a mathematical semantics for computer languages, 1971.

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.314-335, 1995.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, SIGAda, vol.1, pp.58113-906, 2004.

D. Steinberg, F. Budinsky, M. Paternostro, and E. M. Emf, Eclipse Modeling Framework, 2008.

J. Sztipanovits and G. Karsai, Model-Integrated Computing, IEEE Computer, vol.30, issue.4, 1997.

, OMAP35x Applications Processor Technical Reference Manual, 2010.

, Object Management Group, The ProMARTE Consortium. UML Profile for MARTE, vol.3, 2009.

J. P. Tolvanen and M. Rossi, MetaEdit+: defining and using domain-specific modeling languages and code generators, Companion of the 18th annual ACM SIGPLAN conference OOPSLA, pp.92-93, 2003.

M. Vara-larsen, BCOol : the Behavioral Coordination Operator Language. Theses, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01302875

M. Vara-larsen and A. Goknil, Railroad Crossing Heterogeneous Model, GEMOC workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867316

M. E. , V. Larsen, J. Deantoni, F. Benoit-combemale, and . Mallet, A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems (MODELS), number 18, p.462, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

M. E. , V. Larsen, J. Deantoni, F. Benoit-combemale, and . Mallet, A Model-Driven Based Environment for Automatic Model Coordination, CEUR, editor, Models 2015 demo and posters, Models 2015 demo and posters, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01198744

A. Vassighi and M. Sachdev, Thermal and power management of integrated circuits, chapter Thermal and Electrothermal Modeling, 2006.

M. Voelter and K. Solomatov, Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS, SLE, 2010.

M. Völter, From Programming to Modeling-and Back Again. Software, vol.28, 2011.

G. Winskel, Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00148921

G. Winskel, The formal semantics of programming languages: an introduction, 1993.

E. Van-wyk, O. De-moor, K. Backhouse, and P. Kwiatkowski, Forwarding in attribute grammars for modular language design, CC'02, pp.128-142, 2002.

H. Yu, J. Talpin, L. Besnard, T. Gautier, F. Mallet et al., Polychronous analysis of timing constraints in UML MARTE, IEEE Int. W. on Model-Based Engineering for Real-Time Embedded Systems Design, pp.145-151, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00497249