E. A. Lee, Cyber physical systems: Design challenges, 11th IEEE ISORC, pp.363-369, 2008.

D. Garlan, Modeling challenges for CPS systems, IEEE/ACM International Workshop on SEsCPS, pp.1-12, 2015.

B. Radhakisan and H. Gill, Cyber-physical systems, The Impact of Control Technology, vol.12, issue.1, pp.161-166, 2011.

R. Rajkumar, L. Insup, S. Lui, and J. Stankovic, Cyber-physical systems: the next computing revolution, Design Automation Conference, pp.731-736, 2010.

H. Ergin, E. Syriani, and J. Gray, Design pattern oriented development of model transformations, Computer Languages, Systems & Structures, vol.46, pp.106-139, 2016.

T. Stahl, M. Voelter, and K. Czarnecki, Model-driven software development: technology, engineering, management, 2006.

D. Harel and B. Rumpe, Modeling languages: Syntax, semantics and all that stuff, 2000.

E. A. Le, Cyber-physical systems-are computing foundations adequate, NSF workshop on cyber-physical systems: research motivation, techniques and roadmap, vol.2, pp.1-9, 2006.

P. Derler, E. A. Lee, and A. S. Vincentelli, Modeling cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.13-28, 2011.

C. Gomez, J. Deantoni, and F. Mallet, Multi-view power modeling based on UML, MARTE and SysML, 38th Euromicro Conference on Software Engineering and Advanced Applications, pp.17-20, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00720735

L. Apvrille and Y. Roudier, SysML-sec: A sysML environment for the design and development of secure embedded systems, APCOSEC, pp.8-11, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02288385

L. Apvrille, L. Li, and Y. Roudier, Model-driven engineering for designing safe and secure embedded systems, pp.4-7, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01974731

Y. Roudier and L. Apvrille, SysML-Sec: A model driven approach for designing safe and secure systems, MODELSWARD, pp.655-664, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02287013

H. Zhao, L. Apvrille, and F. Mallet, Meta-models combination for reusing verification techniques, 7th International Conference on Model-Driven Engineering and Software Development, pp.39-50, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02080768

P. Roques, MBSE with the ARCADIA Method and the Capella Tool, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01258014

. Capella, Website of capella/arcadia, 2019.

L. Li, L. Apvrille, and D. Genius, Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration, Conference on Design & Architectures for Signal & Image Processing (DASIP'2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01365609

D. Genius, L. Li, and L. Apvrille, Model-driven performance evaluation and formal verification for multi-level embedded system design, 5th International Conference on Model-Driven Engineering and Software Development, pp.78-89, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01447148

D. Alexandre, K. G. Larsen, A. Legay, M. Miku?ionis, and D. Bøgsted, Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015.

B. Blanchet, B. Smyth, V. Cheval, and M. Sylvestre, Proverif 2.00: Automatic cryptographic protocol verifier, 2018.

J. Wan, A. Canedo, and M. A. Faruque, Security-aware functional modeling of cyber-physical systems, pp.1-4, 2015.

D. D. Mccracken and E. D. Reilly, Backus-naur form (BNF), pp.129-131, 2003.

. Omg, Unified modeling language, 2019.

L. Li, Safe and secure model-driven design for embedded systems, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01894734

F. Lugou, L. W. Li, L. Apvrille, and R. Ameur-boulifa, Sysml models and model transformation for security, 4th International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD), pp.331-338, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02287286

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into object-oriented meta-languages, International Conference on Model Driven Engineering Languages and Systems, pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

J. Jezequel, Model driven design and aspect weaving, Software and Systems Modeling, vol.7, issue.2, pp.209-218, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00468233

G. Yang, X. Zhou, and Y. Lian, Constraint-based consistency checking for multi-view models of cyber-physical system, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp.370-376, 2017.

A. Bhave, B. H. Krogh, D. Garlan, and B. Schmerl, View consistency in architectures for cyber-physical systems, IEEE/ACM Conference on Cyber-Physical Systems, pp.151-160, 2011.

J. Kienzle, W. Abed, and J. Klein, Aspect-oriented multi-view modeling, 8th ACM Conference on Aspect-oriented Software Development, pp.87-98, 2009.

D. Thomas, B. Combemale, A. Blouin, O. Barais, and J. Jezequel, Melange: A meta-language for modular and reusable development of dsls, 2015 ACM SIGPLAN Conference on Software Language Engineering, pp.25-36, 2015.

K. Thramboulidis and F. Christoulakis, UML4IoT-A UML-based approach to exploit IoT in cyber-physical manufacturing systems, Computers in Industry, vol.82, pp.259-272, 2016.