M. Kuhlmann and M. Gogolla, “Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships”, eceasst, vol. 9, Nov. 2007.