B. Combemale, J. Deantoni, B. Baudry, R. B. France, J. Jézéquel et al., Globalizing Modeling Languages Available: https, IEEE Computer, pp.10-13, 2014.

. Modelisar, FMI for Model Exchange and Co-Simulation Available: {https://fmi-standard, p.2, 2014.

F. Fummi, D. Quaglia, and F. Stefanni, A SystemC-based framework for modeling and simulation of networked embedded systems, 2008 Forum on Specification, Verification and Design Languages, pp.49-54, 2008.
DOI : 10.1109/FDL.2008.4641420

D. Broman, C. Brooks, L. Greenberg, E. A. Lee, M. Masin et al., Determinate composition of FMUs for co-simulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-2, 2013.
DOI : 10.1109/EMSOFT.2013.6658580

S. Tripakis, Bridging the semantic gap between heterogeneous modeling formalisms and FMI, 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp.60-69, 2015.
DOI : 10.1109/SAMOS.2015.7363660

F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, Fide? an fmi integrated development environment, 2016.

R. L. Bucs, L. G. Murillo, E. Korotcenko, G. Dugge, R. Leupers et al., Virtual hardwarein-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface, Specification and Design Languages (FDL), 2015 Forum on. IEEE, pp.1-8, 2015.

M. Krammer, H. Martin, Z. Radmilovic, S. Erker, and M. Karner, Standard compliant co-simulation models for verification of automotive embedded systems, Specification and Design Languages (FDL), 2015 Forum on, pp.1-8, 2015.

N. Pedersen, J. Madsen, and M. Vejlgaard-laursen, Co-Simulation of Distributed Engine Control System and Network Model using FMI & SCNSL, IFAC-PapersOnLine, vol.48, issue.16, pp.261-266, 2015.
DOI : 10.1016/j.ifacol.2015.10.290

W. Müller and E. Widl, Linking FMI-based components with discrete event systems, 2013 IEEE International Systems Conference (SysCon), pp.676-680, 2013.
DOI : 10.1109/SysCon.2013.6549955

J. F. Tallec and R. De-simone, SCIPX: A systemc to IP-Xact extraction tool, 2011 Electronic System Level Synthesis Conference (ESLsyn), pp.1-6, 2011.
DOI : 10.1109/ESLsyn.2011.5952286

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

E. Bousse, B. Combemale, and B. Baudry, Towards scalable multidimensional execution traces for xdsmls, 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE, p.2014, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01061740

E. A. Lee and A. 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. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

A. Vachoux, C. Grimm, and K. Einwich, SystemC-AMS requirements, design objectives and rationale, 2003 Design, Automation and Test in Europe Conference and Exhibition, p.10388, 2003.
DOI : 10.1109/DATE.2003.1253639

B. Evans, A. Kamas, and E. A. Lee, Design and simulation of heterogeneous systems using ptolemy, Proceedings of ARPA RASSP Conference, 1994.