J. Abrial, Modeling in Event-B: system and software engineering, 2010.

, SystemC AMS extensions Users Guide, Version 1.0. Accellera Systems Initiative, Accellera Systems Initiative, 2010.

L. Andrade, T. Maehne, A. Vachoux, C. Ben-aoun, F. Pêcheux et al., Pre-Simulation Formal Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation, Design, Automation and Test in Europe, DATE Conference, 2015.

L. Apvrille, Webpage of TTool, 2011.

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003.

, Beyond Dreams (Design Refinement of Embedded Analogue and Mixed-Signal Systems), Beyond Dreams Consortium, 2008.

F. Bouquet, J. Gauthier, A. Hammad, and F. Peureux, Transformation of sysml structure diagrams to vhdl-ams, 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS, pp.74-81, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00762089

A. I. Concepcion and B. P. Zeigler, DEVS formalism: A framework for hierarchical model development, IEEE Transactions on Software Engineering, vol.14, issue.2, pp.228-241, 1988.

C. Porto and R. , Integration of SystemC-AMS simulation platforms into TTool. Master's thesis, 2018.

A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-vincentelli et al., A next-generation design framework for platform-based design, DV-Con, vol.152, 2007.

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

D. Genius, L. W. Li, A. , and L. , Multi-level Latency Evaluation with an MDE Approach, MODELSWARD, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01670546

, Heterogeneous Inception Project, 2012.

F. Herrera and E. Villar, A framework for heterogeneous specification and design of electronic embedded systems in systemc, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.12, issue.3, p.22, 2007.

, SystemC. IEEE Standard, pp.1666-2011, 2011.

E. A. Lee and D. G. Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, C, vol.36, issue.1, pp.24-35, 1987.

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987.

L. W. Li, D. Genius, A. , and L. , Formal and virtual multi-level design space exploration, MODELSWARD, Springer Communications in Computer and Information Science, vol.880, pp.47-71, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01900180

S. H. Niaki, M. K. Jakobsen, T. Sulonen, and I. Sander, Formal heterogeneous system modeling with systemc, Specification and Design Languages (FDL), 2012 Forum on, pp.160-167, 2012.

, System Design, Modeling, and Simulation using Ptolemy II, 2014.

B. Selic and S. Gérard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, 2013.

, The SoCLib project: An integrated system-on-chip modelling and simulation platform, SocLib consortium, 2003.

S. Taha, A. Radermacher, and S. Gérard, An entirely model-based framework for hardware design and simulation, DIPES/BICC, vol.329, pp.31-42, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00526737

A. Vachoux, C. Grimm, and K. Einwich, Analog and mixed signal modelling with SystemC-AMS, ISCAS (3), pp.914-917, 2003.

J. Vidal, F. De-lamotte, G. Gogniat, P. Soulard, and J. Diguet, A co-design approach for embedded system modeling and code generation with UML and MARTE, DATE, pp.226-231, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00369036

. Vsi-alliance, Virtual Component Interface Standard (OCB 2 2.0), 2000.

J. Zhu, I. Sander, J. , and A. , Hetmoc: Heterogeneous modelling in systemc, Specification & Design Languages (FDL 2010), 2010 Forum on, pp.1-6, 2010.