Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.

Miloud Bennama, Thouraya Bouabana-Tebibel

Browse the full VECoS paper archive.