Systems Engineering and Analysis, 5th ed. Prentice-Hall International series in Industrial and Systems Engineering, 2011. ,
Systems Architecture and Design, 2012. ,
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
Gestion des risques : Méthode MADS-MOSAR II Manuel de mise en oeuvre, Pierre Périlhon, 2007. ,
Visualizing Project Management, 2005. ,
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
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
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