1. Aliyu, H.O., Maïga, O., Traoré, M.K.: Un langage graphique pour la modélisation et l’analyse des systèmes réactifs. In: 11ème Colloque sur la Modélisation des Systèmes Réactif (MSR 2017), Marseille, France, 20 p. (2017)
2. Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30, 473–487 (2004).
https://doi.org/10.1109/TSE.2004.34
3. Bernardi, M., Bley, H., Schmidt, B.: New approaches for developing mechatronical products in multidisciplinary teamwork. In: 35th CIRP International Seminar on Manufacturing Systems, Seoul, Korea (2002)
4. Berthomieu, B., et al.: Fiacre: an Intermediate Language for Model Verification in the Topcased Environment (2008)
5. Lecture Notes in Computer Science;I Boukhari,2012