SysML for embedded automotive Systems: a practical approach, 2010. ,
Exigences et ingénierie système : Mise en oeuvre avec SysML, 2008. ,
The Altarica formalism for describing concurrent systems, 2000. ,
, FPTC: Automated Safety Analysis for Domain-Specific Languages, 2008.
, Further bibliographical references can be found in