E. Andrianarison and J. Piques, SysML for embedded automotive Systems: a practical approach, 2010.

F. Caron and ;. Conseil, Exigences et ingénierie système : Mise en oeuvre avec SysML, 2008.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The Altarica formalism for describing concurrent systems, 2000.

R. F. Paige, L. M. Rose, X. Ge, D. S. Kolovos, and P. J. Brooke, FPTC: Automated Safety Analysis for Domain-Specific Languages, 2008.

, Further bibliographical references can be found in