1.
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 Dec. 7];39(5):1022–1060. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2020_5_1022