TPV: A Tool for Validating Temporal Properties in UML Class Diagrams.

Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez

Browse the full ICSE paper archive.