. Incose, Systems Engineering Vision 2020, 2007.

. Iso/iec and . Iso/iec-15288, Systems and software engineering -System life cycle processes, vol.2008, p.5, 2008.

J. Estefan, Survey of Model-Based Systems Engineering ( MBSE ) Methodologies 2 . Differentiating Methodologies from Processes , Methods , and Lifecycle Models, vol.25, pp.1-70, 2008.

. Bkcase-project, System Engineering Book of Knowledge

S. Kent, Model Driven Engineering, Integr. Form. Methods, pp.286-298, 2002.

F. Pfister, V. Chapurlat, H. Marianne, and C. Nebut, A light-weight annotation-based solution to design Domain Specific Graphical Modeling Languages, Proceedings of Modelling Foundations and Applications -9th European Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00856982

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, p.744, 2008.

N. Pontisso and D. Chemouil, TOPCASED Combining Formal Methods with ModelDriven Engineering, IEEE/ACM Int. Conf. Autom. Softw. Eng, 2006.

J. M. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with Kermeta, Lecture Notes in Computer Science, vol.6491, pp.201-221, 2011.

S. J. Mellor and M. J. Balcer, Executable UML: A Foundation for Model-Driven Architecture, p.416, 2002.

B. Combemale, X. Crégut, and M. Pantel, A Design Pattern for Executable DSML, The 19th Asia-Pacific Software Engineering Conference (APSEC), pp.282-287, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00540648

. Dod, Systems Engineering Fundamentals, Def. Acquis, 2001.

B. Combemale, Approche de métamodélisation pour la simulation et la vérification de modèle --Application à l'ingénierie des procédés, Phd -INPT, 2008.

F. Jouault, F. Allilaire, and J. Bézivin, ATL: a QVT-like transformation language, Companion to 21st ACM SIGPLA, pp.719-720, 2006.

. Omg, MOF Core specification

. Omg, OCL : Object Constraint Language, 2014.

C. Seidner, EFFBDs Verification: Model checking in Systems Engineering, 2009.

V. Chapurlat and C. Braesch, Verification, validation, qualification and certification of enterprise models: Statements and opportunities, Comput. Ind, pp.711-721, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353776

C. Haskins, K. Forsberg, and M. Krueger, Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, 2011.

H. Chesnut, Systems Engineering Methods, 1967.

B. Aizier, V. Chapurlat, S. Lisy-destrez, D. Prun, C. Seidner et al., xFFBD: towards a formal yet functional modeling language for system designers, 22nd Annual INCOSE International Symposium, 2012.

B. Combemale, X. Cregut, P. Garoche, X. Thirioux, and F. Vernadat, A PropertyDriven Approach to Formal Verification of Process Models, Enterprise Information Systems, pp.286-300, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00369884

, Specification language GRAFCET for sequential function charts, IEC, vol.60848, 2000.

P. Dasgupta, A roadmap for formal property verification, 2010.

V. Chapurlat, UPSL-SE: A model verification framework for Systems Engineering, Comput. Ind, vol.64, issue.5, pp.581-597, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00804265