Martin Giese Daniel Larsson Simplifying Transformations of OCL Constraints. 309-323 2005 conf/uml/2005 MoDELS http://dx.doi.org/10.1007/11557432_23 db/conf/uml/models2005.html#GieseL05