Menad, N.; Dhaussy, P.; Drey, Z.; Mekki, R. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Comput. Inform. 2016, 35, 338-368.