A. Toom, N. Izerrouken, T. Naks, M. Pantel, and O. Ssi-yan-kai, Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset, 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 2010.

A. Rugina and J. Dalbin, Experiences with the GENE-AUTO Code Generator in the Aerospace Industry, In: 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 2010.

B. Berthomieu, J. Bodeveix, S. Dal-zilio, P. Dissaux, M. Filali et al., Formal Verification of AADL models with Fiacre and Tina, 5th International Congress and exhibition ERTS2 2010 : Embedded Real-Time Software and Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00494348

A. Albinet, The MeMVaTEx methodology: from requirements to models in automotive application design, 5th International Congress and exhibition ERTS2 2010 : Embedded Real-Time Software and Systems, 2010.

M. Bordin and F. Gasperoni, Towards Verifying Model Compilers, 5th International Congress and exhibition ERTS2 2010: Embedded Real Time Software and Systems, 2010.