Menad, N. et al. 2016. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. COMPUTING AND INFORMATICS. 35, 2 (Jul. 2016), 338–368.