Kuhlmann, M.; Gogolla, M. Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. ECEASST 2007, 9.