O. Bouissou and A. Chapoutot, An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012.
DOI : 10.1145/2248418.2248437

P. Coussy and A. Morawiec, High-Level Synthesis: from Algorithm to Digital Circuit, 2008.
DOI : 10.1007/978-1-4020-8588-8

F. P. Coyle, From uml to hdl: a model driven architectural approach to hardware-software co-design, information systems: New generations conference (isng), 2005.

J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML: Systems Modeling Language, 2008.

C. Hardebolle, F. Boulanger, D. Marcadet, and G. Vidal-naquet, A Generic Execution Framework for Models of Computation, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07), pp.45-54, 2007.
DOI : 10.1109/MOMPES.2007.1
URL : https://hal.archives-ouvertes.fr/hal-00256116

D. Harel and E. Gery, Executable object modeling with statecharts, Computer, vol.30, issue.7, pp.31-42, 1997.
DOI : 10.1109/2.596624

J. Keinert, M. Streubühr, T. Schlichter, J. Falk, J. Gladigau et al., SystemCoDesigner???an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications, ACM Transactions on Design Automation of Electronic Systems, vol.14, issue.1, pp.1-23, 2009.
DOI : 10.1145/1455229.1455230

A. Koudri, D. Aulagnier, D. Vojtisek, P. Soulard, C. Moy et al., Using MARTE in a Co-Design Methodology, MARTE UML profile workshop co-located with DATE'08, p.6, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00354356

A. Koudri, A. Cuccuru, S. Gerard, and F. Terrier, Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal, MoDELS, pp.243-257, 2011.
DOI : 10.1002/0471713708

J. Le-lann, P. Dhaussy, and P. Lagalaye, Modélisation algorithmique et synthèse d'architectures assistées par model-checking, CAL 2012, p.page xx, 2012.

S. Lecomte, S. Guillouard, C. Moy, P. Leray, and P. Soulard, A co-design methodology based on model driven architecture for real time embedded systems, Mathematical and Computer Modelling, vol.53, issue.3-4, pp.3-4471, 2011.
DOI : 10.1016/j.mcm.2010.03.035
URL : https://hal.archives-ouvertes.fr/hal-00488575

F. Mallet, C. André, and R. De-simone, CCSL: specifying clock constraints with UML/Marte, Innovations in Systems and Software Engineering, pp.309-314, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371371

F. Maraninchi and T. Bouhadiba, 42, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.53-62, 2007.
DOI : 10.1145/1289971.1289981
URL : https://hal.archives-ouvertes.fr/hal-00294153

G. Martin and W. Müller, UML for SOC Design, 2005.
DOI : 10.1007/b135980

W. Mueller, D. He, F. Mischkalla, A. Wegele, P. Whiston et al., The saturn approach to sysml-based hw/sw codesign, Proceedings of the 2010 IEEE Annual Symposium on VLSI, ISVLSI '10, pp.506-511, 2010.

I. R. Quadri, A. Gamatié, P. Boulet, S. Meftali, and J. Dekeyser, Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives, Journal of Systems Architecture, vol.58, issue.5, pp.178-194, 2012.
DOI : 10.1016/j.sysarc.2012.01.001
URL : https://hal.archives-ouvertes.fr/hal-00666014

E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio, A UML 2.0 profile for SystemC, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.138-141, 2005.
DOI : 10.1145/1086228.1086254
URL : https://hal.archives-ouvertes.fr/hal-00181192

T. Schattkowsky, Uml 2.0 -overview and perspectives in soc design. CoRR, abs/0710, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00181220

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework

M. Streubühr, M. Jäntsch, C. Haubelt, and J. Teich, From Model-based Design to Virtual Prototypes for Automotive Applications, Proceedings of the Embedded World Conference, pp.1-10, 2009.

S. Taha, A. Radermacher, S. Gérard, and J. Dekeyser, Marte: Uml-based hardware design from modelling to simulation, FDL, pp.274-279, 2007.

R. Thomson, S. Moyers, D. Mulvaney, and V. Chouliaras, The uml-based design of a hardware h.264/mpeg-4 avc video decompression core falcon ml design flow, pp.1-6, 2008.

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

S. K. Wood, D. H. Akehurst, O. Uzenkov, W. Howells, and K. D. Mcdonald-maier, A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL, IEEE Transactions on Computers, vol.57, issue.10, pp.1357-1371, 2008.
DOI : 10.1109/TC.2008.123