A. Madni and M. Sievers, Model-based systems engineering: Motivation, current status, and research opportunities, Systems Engineering, 2018.

, Object Management Group

, International Council for Systems Engineering

, Systems Modeling Language, version 1, vol.5, 2017.

T. L. Sergent, F. Dormoy, and A. L. Guennec, Benefits of Model Based System Engineering for Avionics Systems, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291938

F. Mehnni, J. Choley, N. Nguyen, and C. Frazza, Flight Control System Modeling with SysML to Support Validation, Qualification and Certification, IFAC-PapersOnLine, vol.49, issue.3, pp.453-458, 2016.

P. Saqui-sannes, . De, and R. Vingerhoeds, Apvrille, L, EarlyChecking of SysML Models applied to protocols, 12th International Conference on Modeling, Optimisation and Simulation, 2018.

J. Lasalle, F. Peureux, and F. Fondement, Development of an Automated MBT Toolchain from UML/SysML models, Innovations in Systems and Software Engineering, vol.7, pp.247-256, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00649263

J. Gauthier, F. Bouquet, A. Hammad, and F. Peureux, A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing, 17th International Conference on Formal Engineering Methods. (ICFEM'15), vol.9407, pp.134-152, 2015.

J. M. Faria, S. Mahomad, and N. Silva, Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications, DASIA 2009 Data Systems in Aerospace, 2009.

P. Saqui-sannes, . De, J. Courtiat, and R. Casadessus, Verification by abstraction as a preamble for interoperability test suite generation. Protocol Specification, Testing and Verification XIV, 1995.

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, Lecture Notes in Computer Science, 2000.

M. Hennessy and R. Milner, On observing nondeterminism and concurrency, Automata, Languages and Programming. ICALP 1980, vol.85, 1980.

R. Konur, S. Yildirim, U. Uddin, A. Campean, F. Gheorghe et al., Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering, IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017.

R. Dssouli, A. Khoumsi, M. Elqortobi, and . J. Bentabar, Chapter Three -Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey, International Symposium on Formal Methods, vol.106, pp.95-155, 2016.

. Ttcn-standard, ES, vol.201, pp.873-874

C. A. González, M. Varmazyar, S. Nejati, L. C. Briand, and Y. Isasi, Enabling Model Testing of Cyber-Physical Systems, Proceedings of ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, vol.11, 2018.

K. Drira, The refusal Graph: a Tradeoff between Verification and Test, 6th International Workshop on Protocol Test Systems (IWPTS'93), pp.301-316, 1993.

E. Kilada, A C++ Implementation of an Efficient Algorithm for Labeled Transition System Minimization Based on Bisimulation Equivalence, 2008.

N. Ouerdi, M. Azizi, J. L. Lanet, J. L. Azizi, M. Ziane et al., Generation of Test Cases based on SysML Models, International Conference on Electronic Engineering and Computer Science, vol.4, pp.133-138, 2013.

D. Richards, A. Stuart, and M. Hause, Testing Solutions through SysML / UML, Incose, vol.19, pp.760-774, 2019.

C. Hilken and J. Peleska, Formal Modeling and Verification of Cyber-Physical Systems, 2015.

Y. Yin, Y. Xu, and Y. Chen, An Automated Test Case Generation Approach based on Activity Diagrams of SysML, International Journal on Performability Engineering, vol.13, issue.6, pp.922-936, 2017.

F. Abbors, A. Bäcklund, and D. Truscan, MATERA -An Integrated Framework for Model-Based-Testing, Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, pp.321-328, 2010.

J. Peleska, Model-based Avionic Systems Testing for the Airbus Family, 23r IEEE European Test Symposium, 2018.