Chabbat, Nadia, et al. “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.