P. Cuenot, Managing Complexity of Automotive Electronics Using the EAST-ADL, proc IEEE ICECCS, 2007.

, UML profile for Modeling and analyzing Real Time Embedded systems)

, Open UML 2 modeling tool)

A. Albinet, Model-based methodology for requirements traceability in embedded systems
URL : https://hal.archives-ouvertes.fr/inria-00413488

, Tackling heterogeneity for embedded system development)

H. Espinoza, Towards a UML-Based Modeling Standard for Schedulability Analysis of Real-Time Systems, proc of MARTES Workshop at MODELS Conference, 2006.

C. Hardebolle, Execution Framework for Models of Computation, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00256116

D. , Deterministic Distributed SafetyCritical Real-Time Systems within the Oasis Approach, 2005.

S. Putot, Static Analysis of the Accuracy in Control Systems: Principles and Experiments, in proc, 2007.

C. Gaston, Symbolic execution techniques for test purpose definition, LNCS, vol.3964, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342082

S. Labbé, Slicing Communicating Automata Specifications for Efficient Model Reduction, proc. ASWEC'07, 2007.

, Scade Suite and Scade Display development environments)