Chabbat, N. (2021) “Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model”, Computing and Informatics, 39(5), pp. 1022–1060. doi: 10.31577/cai_2020_5_1022.