N. Chabbat, D. E. Saidouni, R. Boukharrou, and S. Ghanemi, “Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model”, Comput. Inform., vol. 39, no. 5, pp. 1022–1060, Mar. 2021.