Transformation of TOCL temporal properties into OCL.

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez

Browse the full MODELS paper archive.