Chabbat, N. et al. 2021. Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Computing and Informatics. 39, 5 (Mar. 2021), 1022–1060. DOI:https://doi.org/10.31577/cai_2020_5_1022.