Automated Mitigation of Frame Problem in UML Class Diagram Verification. - Antonio Rosales Viesca; 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)

Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange. - Antonio Rosales Viesca; Mustafa Al-Lail; Omar Alam (ISORC, 2024)

Taming the frame problem: an automated approach for robust UML class diagram specification and verification. - Antonio Rosales Viesca; Mustafa Al-Lail (Innov. Syst. Softw. Eng., 2024)