F. Ougier and &. Terrier, EDONA: an Open Integration Platform for Automotive Systems Development Tools, proc. 4th European Congress Embedded Real Time Software (ERTS), 2008.

. Cuenot, Managing Complexity of Automotive Electronics Using the EAST-ADL, proc. 1st IEEE-SEE International Workshop UML and AADL, 2007.

V. David, Safety properties ensured by the OASIS model for safety critical real time systems, IFIP-SAFECOMP'98 Conf, 1998.

C. Aussaguès, D. Chabrol, V. David, D. Roux, N. Willey et al., An OS for Multicore Embedded Systems Compliant with Automotive Safety Standards, Proc. of the Int. Automotive Electronics Congress, Embedded systems and Standardisation Session, 2009.

C. Gaston, P. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, TestCom06, 18th IFIP International Conference on Testing Communicating Systems, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342082

. Temmos, Automotive User Interfaces, 6th International Conference on Scalable Vector Graphics, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00533876