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