Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. - Nadia Chabbat; Djamel-Eddine Saïdouni; Radja Boukharrou; Salim Ghanemi (Comput. Informatics, 2020)