Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. - Hanna Bauerdick; Martin Gogolla; Fabian Gutsche (UML, 2004)