N. Menad, P. Dhaussy, Z. Drey, and R. Mekki, “Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification”, Comput. Inform., vol. 35, no. 2, pp. 338–368, Jul. 2016.