Philippe Dhaussy Frédéric Boniol Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. 133-157 2007 12 Ingénierie des Systèmes d'Information 5 http://dx.doi.org/10.3166/isi.12.5.133-157 db/journals/isi/isi12.html#DhaussyB07