. Incose, Systems Engineering Vision 2020, 2007.

. Incose, Guide to the Systems Engineering Body of Knowledge (SEBoK)

V. Chapurlat, Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'Entreprise, 2008.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, A verification approach from MDE applied to model based systems engineering: XeFFBD dynamic semantics, Complex Systems Design and Management -Proceedings of the 5th International Conference on Complex Systems Design and Management, pp.225-235, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01237138

Á. Hegedüs, Á. Horváth, and D. Varró, A modeldriven framework for guided design space exploration, Autom. Softw. Eng, vol.22, issue.3, pp.399-436, 2015.

, Cost-efficient methods and processes for safety relevant embedded systems, 2012.

M. and F. Carvallo, Improving automation in model-driven engineering using examples, 2013.

. Mathworks, Matlab Simulink User's Guid. R2014b, pp.1-69, 2014.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, Int. J. Softw. Tools Technol. Transf, vol.1, issue.1-2, pp.134-152, 1997.

Y. Bertot, Coq in a Hurry, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00001173

, Ingénierie système: la vision AFIS pour les années 2020-2025. AFIS (French Association for Systems Engineering), AFIS, 2012.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, A Tooled Approach for Designing Executable and Verifiable Modeling Languages, INSIGHT Q. Mag. Int. Counc. Syst. Eng, vol.18, issue.4, pp.31-33, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01377586

B. Nastov, Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée, 2016.

A. G. Kleppe, A language description is more than a metamodel, the 4th International Workshop on Software Language Engineering, 2007.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, Towards semantical DSMLs for complex or cyberphysical systems, Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01377565

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

B. Combemale, X. Crégut, P. L. Garoche, and X. Thirioux, Essay on semantics definition in MDE: An instrumented approach for model verification, J. Softw, vol.4, issue.9, pp.943-958, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00371553

F. Belkadi, N. Troussier, B. Eynard, and E. Bonjour, Collaboration based on product lifecycles interoperability for extended enterprise, Int. J. Interact. Des. Manuf, vol.4, issue.3, pp.169-179, 2010.

N. Blazo, Contribution to model verification: operational semantic for System Engineering modeling languages, the 3th National Conference on Software Engineering, pp.88-90, 2014.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach, the 26th Annual INCOSE International Symposium, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01377575

F. Pfister, V. Chapurlat, M. Huchard, C. Nebut, and J. Wippler, A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns, Syst. Eng, vol.15, issue.3, pp.321-332, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00804260

B. Nastov and F. Pfister, Towards automatic graphical concrete syntax generation for domain specific modeling languages | Vers la génération des syntaxes concrétes graphiques pour les langages de modélisation métier, vol.20, pp.67-91, 2015.

B. Nastov and P. François, Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages, the 32th National Conference on INFormatique des ORganisation et Systèmes d'Information et de Décision, pp.197-213, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01377594

F. Pfister, M. Huchard, and C. Nebut, A framework for concurrent design of metamodels and diagrams towards an agile method for the synthesis of domain specific graphical modeling languages, Proceedings of the 16th International Conference on Enterprise Information Systems (ICEIS 2014), vol.2, pp.298-306, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01276482

F. Pfister, Contribution à la conception simultanée de syntaxes abstraites et de notations graphiques : application à la définition de langages pour l'Ingénierie Système, 2013.

R. Engelmore and T. Morgan, Blackboard systems. Wesly publishing, 1988.

M. Larnac, V. Chapurlat, J. Magnier, and B. Chenot, Formal representation and proof of the interpreted sequential machine model, Computer Aided Systems Theory -EUROCAST'97, pp.93-107, 1995.

. Omg, Object Constraint Language (OCL) Specification v2.4, Proceedings of the 20th IFAC World Congress, 2014.