Aymen Louati, Kamel Barkaoui, Chadlia Jerad. Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 133-147, Springer, 2015. [doi]
Abstract is missing.