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