B. S. Blanchard and W. J. Fabrycky, Systems Engineering and Analysis, 5th ed. Prentice-Hall International series in Industrial and Systems Engineering, 2011.

A. Faisandier, Systems Architecture and Design, 2012.

N. C. Braspenning, J. M. Van-de-mortel-fronczak, and J. E. Rooda, A Model-based Integration and Testing Method to Reduce System Development Effort, Electronic Notes in Theoretical Computer Science, vol.164, issue.4, pp.13-28, 2006.
DOI : 10.1016/j.entcs.2006.09.003

M. Mosar, Gestion des risques : Méthode MADS-MOSAR II Manuel de mise en oeuvre, Pierre Périlhon, 2007.

K. Forsberg, H. Mooz, and H. Cotterman, Visualizing Project Management, 2005.

B. Combemale, X. Cregut, P. Garoche, X. Thirioux, and F. Vernadat, A Property-Driven Approach to Formal Verification of Process Models, Enterprise Information Systems, pp.286-300, 2009.
DOI : 10.1007/978-3-540-88710-2_23

URL : https://hal.archives-ouvertes.fr/hal-00369884

V. Chapurlat and . Upsl-se, UPSL-SE: A model verification framework for Systems Engineering, Computers in Industry, vol.64, issue.5, pp.581-597, 2013.
DOI : 10.1016/j.compind.2013.03.002

URL : https://hal.archives-ouvertes.fr/hal-00804265

W. Schamai, P. Fritzson, C. Paredis, and A. Po, Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations, Proceedings of the 7 International Modelica Conference Como, Italy, 2009.
DOI : 10.3384/ecp09430081