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. and A. Porras, Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multidisciplinary systems, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01344527

L. Apvrille, TTool, an open-source toolkit for the modeling and verification of embedded systems

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003.
DOI : 10.1109/MC.2003.1193228

C. and B. Aoun, Principles and Realization of a Virtual Prototyping Environment for Composable Heterogeneous Systems, 2017.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2004.
DOI : 10.1007/978-3-540-27755-2_3

C. Library and D. , http://www.coseda-tech.com/systemc-ams-proof-of-concept, 2016.

A. Gamatié, S. L. Beux, É. Piel, R. B. Atitallah, A. Etien et al., A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, p.39, 2011.
DOI : 10.1145/2043662.2043663

D. Genius, L. Apvrille, L. W. Li, and L. Apvrille, Virtual yet precise prototyping: An automotive case study Model-Driven Performance Evaluation and Formal Verification for Multilevel Embedded System Design, ERTSS'2016 Conferénce on Model- Driven Engineering and Software Development (Model- sward'2017), 2016.
DOI : 10.5220/0006140600780089

D. Genius, L. W. Li, and L. Apvrille, Multi-level Latency Evaluation with an MDE Approach In Conferénce on Model-Driven Engineering and Software Development Modelsward, 2016.

K. Latif, M. Selva, C. Effiong, R. Ursu, A. Gamatie et al., Design space exploration for complex automotive applications, Proceedings of the 2016 Workshop on Rapid Simulation and Performance Evaluation Methods and Tools, RAPIDO '16, pp.1-2, 2016.
DOI : 10.1109/IPDPS.2003.1213180

URL : https://hal.archives-ouvertes.fr/lirmm-01265891

E. A. Lee, Disciplined Heterogeneous Modeling, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, pp.273-287, 2010.
DOI : 10.1007/3-540-45874-3_2

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

S. Taha, A. Radermacher, and S. Gérard, An Entirely Model-Based Framework for Hardware Design and Simulation, DIPES/BICC IFIP Advances in Information and Communication Technology, pp.31-42, 2010.
DOI : 10.1007/978-3-642-15234-4_5

URL : https://hal.archives-ouvertes.fr/hal-00526737

A. Vachoux, C. Grimm, and K. Einwich, Analog and mixed signal modelling with SystemC-AMS, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03., pp.914-917, 2003.
DOI : 10.1109/ISCAS.2003.1205169

URL : http://www.ti.cs.uni-frankfurt.de/ams/papers/ISCAS03-VGE03b.pdf

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, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.226-231, 2009.
DOI : 10.1109/DATE.2009.5090662

URL : https://hal.archives-ouvertes.fr/hal-00369036