B. Combemale, J. Deantoni, B. Baudry, R. B. France, J. Jzquel et al., Globalizing modeling languages, Computer, vol.47, issue.6, pp.68-71, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00994551

. Modelisar, FMI for Model Exchange and Co-Simulation, 2014.

C. Gomes, B. Meyers, J. Denil, C. Thule, K. Lausdahl et al., Semantic adaptation for fmi co-simulation with hierarchical simulators, SIMULATION, vol.95, issue.3, pp.241-269, 2019.

C. Thule, C. Gomes, J. Deantoni, P. G. Larsen, J. Brauer et al., Towards the Verification of Hybrid Co-simulation Algorithms, Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01871531

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

F. Cremona, M. Lohstroh, D. Broman, M. D. Natale, E. A. Lee et al., Step Revision in Hybrid Co-simulation with FMI, 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016.

F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, FIDE: An FMI integrated development environment, 31st Annual ACM Symposium on Applied Computing, pp.1759-1766, 2016.

J. Tavella, M. Caujolle, S. Vialle, C. Dad, C. Tan et al., Toward an accurate and fast hybrid multi-simulation with the FMI-CS standard, 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
URL : https://hal.archives-ouvertes.fr/hal-01371499

G. Berlin, , pp.1-5, 2016.

S. Mustafiz, C. Gomes, H. Vangheluwe, and B. Barroca, Modular design of hybrid languages by explicit modeling of semantic adaptation, 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), pp.1-8, 2016.

B. Van-acker, J. Denil, H. Vangheluwe, and P. De-meulenaere, Generation of an optimised master algorithm for fmi co-simulation, Proceedings of the Symposium on Theory of Modeling &#38

, Simulation: DEVS Integrative M&S Symposium, ser. DEVS '15, pp.205-212, 2015.

S. Tripakis, D. Broman, and C. Sciences, Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI, Tech. Rep, 2014.

D. Garlan and M. Shaw, Advanced Topics in Science and Technology in China, pp.1-33, 1994.

N. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, ACM SIGSOFT Software Engineering Notes, vol.22, issue.6, pp.60-76, 2004.

G. A. Papadopoulos and F. Arbab, Coordination Models and Languages, Advances in Computers, vol.46, issue.C, pp.329-400, 1998.

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, pp.1217-1229, 1998.

C. Hardebolle and F. Boulanger, Modhelx: A component-oriented approach to multi-formalism modeling, International Conference on Model Driven Engineering Languages and Systems, pp.247-258, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00554780

M. E. Vara-larsen, J. Deantoni, B. Combemale, and F. Mallet, A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems, p.462, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution framework of the gemoc studio (tool demo), Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp.84-89, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

J. S. Dahmann, High level architecture for simulation, Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications, pp.9-14, 1997.

J. Deantoni and C. Gomes, Towards a ultimate formally verified master algorithm, Short Term Scientific Report COST IC1404, 2018.

B. Combemale, J. Deantoni, M. E. Vara-larsen, F. Mallet, O. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE -6th International Conference on Software Language Engineering, vol.8225, pp.365-384, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00850770

, Uml profile for marte (modeling and analysis of real time embedded systems), Object Management Group, vol.1, 2018.

C. André, Syntax and semantics of the clock constraint specification language, INRIA, Tech. Rep, vol.6925, 2009.

P. L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-303, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071871