Chabbat, N.; Saidouni, D. E.; Boukharrou, R.; Ghanemi, S. Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Comput. Inform. 2021, 39, 1022–1060.