Chabbat, N., Saidouni, D. E., Boukharrou, R., & Ghanemi, S. (2021). Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Computing and Informatics, 39(5), 1022–1060. https://doi.org/10.31577/cai_2020_5_1022