Formal Software Verification at Model and at Source Code Levels. - Anthony Fernandes Pires; Thomas Polacsek; Stéphane Duprat (MEDI, 2012)

Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. - Anthony Fernandes Pires; Stéphane Duprat; C. Besseyre (Tech. Sci. Informatiques, 2012)

Behavioural Verification in Embedded Software, from Model to Source Code. - Anthony Fernandes Pires; Thomas Polacsek; Virginie Wiels; Stéphane Duprat (MoDELS, 2013)