Chabbat, N., D. E. Saidouni, R. Boukharrou, and S. Ghanemi. “Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model”. COMPUTING AND INFORMATICS, vol. 39, no. 5, Mar. 2021, pp. 1022–1060, doi:10.31577/cai_2020_5_1022.