Chabbat N, Saidouni DE, Boukharrou R, Ghanemi S. Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Comput. Inform. [Internet]. 2021 Mar. 25 [cited 2024 Nov. 7];39(5):1022–1060. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2020_5_1022