A. Brucker, J. Doser, and B. Wolff, “Semantic Issues of OCL: Past, Present, and Future”, ECEASST, vol. 5, Jul. 2007.