[1]
Menad, N., Dhaussy, P., Drey, Z. and Mekki, R. 2016. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. COMPUTING AND INFORMATICS. 35, 2 (Jul. 2016), 338–368.