Ensuring UML Models Consistency Using the OCL Environment. - Dan Chiorean; Mihai Pasca; Adrian Cârcu; Cristian Botiza; Sorin Moldovan (OCL 2.0 @ UML, 2003)