Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Computers and Artificial Intelligence, 35(2):338-368, 2016. [doi]
Abstract is missing.