Kuhlmann, M. and Gogolla, M. (2007) “Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships”, Electronic Communications of the EASST, 9. doi: 10.14279/tuj.eceasst.9.107.