Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi. A Logic-Based Approach for the Verification of UML Timed Models. ACM Transactions on Software Engineering Methodology, 26(2), 2017. [doi]
Abstract is missing.