Mirco Kuhlmann Martin Gogolla Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. 2008 9 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/107 db/journals/eceasst/eceasst9.html#KuhlmannG08