. Omg, Portal of the Model Driven Engineering Community, 2007.

S. Sendall and W. Kozaczynski, Model Transformation: The Heart and Soul of Model-Driven Software Development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.

A. Bagnato, MADES: Embedded systems engineering approach in the avionics domain, First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES), 2010.

&. Mades, . Eu-fp7, and . Project, , 2011.

, Final Adopted OMG SysML Specification, 2006.

. Omg, Modeling and Analysis of Real-time and Embedded systems (MARTE), 2010.

A. Koudri, Using MARTE in the MOPCOM SoC/SoPC CoMethodology, MARTE Workshop at DATE'08, 2008.

, ARTEMIS project, 2011.

. Topcased, The Open Source Toolkit for Critical Systems, 2010.

W. Mueller, The SATURN Approach to SysML-based HW/SW Codesign, IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2010.

M. Mura, Model-based Design Space Exploration for RTES with SysML and MARTE, Forum on Specification, Verification and Design Languages, pp.203-208, 2008.

, OMEGA: Correct Development of Real-Time Embedded Systems, 2009.

L. Ober, Projet Omega : Un profil UML et un outil pour la modelisation et la validation de systemes temps reel, vol.73, pp.33-38, 2005.

, EU FP7 Project, 2011.

H. Espinoza, Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems, ECMDA-FA'09, pp.98-113, 2009.

D. S. Kolovos, Eclipse development tools for Epsilon, Eclipse Summit Europe, Eclipse Modeling Symposium, 2006.

N. Matragkas, D4.1: Model Transformation and Code Generation Tools Specification, 2010.

L. Baresi, D3.1: Domain-specific and User-centred Verification, 2010.

, D3.3: Formal Dynamic Semantics of the Modelling Notation, 2010.

M. Pradella, The Symmetry of the Past and of the Future: Biinfinite Time in the Verification of Temporal Properties, ESEC-FSE'07, pp.312-320, 2007.

I. Gray and N. Audsley, Exposing non-standard architectures to embedded software using compile-time virtualisation, International conference on Compilers, architecture, and synthesis for embedded systems (CASES'09), 2009.

I. Gray, Model-based hardware generation and programming -the MADES approach, 14th International Symposium on Object and Component-Oriented Real-Time Distributed Computing Workshops, 2011.

. Modelio, UML Modeling tool, 2011.

. Papyrus, Open source tool for UML modeling, 2011.

D. D. Gajski and R. Khun, New vlsi tools, IEEE Computer, vol.16, pp.11-14, 1983.

. Xilinx, MicroBlaze Soft Processor Core, 2011.

A. Bagnato, D1.3: MADES Initial Approach Guide, 2010.