Transformation of TOCL temporal properties into OCL. - Mustafa Al-Lail; Antonio Rosales; Hector Cardenas; Lars Hamann; Alfredo J. Perez (MoDELS (Companion), 2022)

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach. - Hector Cardenas; Mustafa Al-Lail (MoDELS (Companion), 2023)

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams. - Mustafa Al-Lail; Antonio Rosales Viesca; Hector Cardenas; Mohammad Zarour; Alfredo J. Perez (ICSE Companion, 2024)