C. Wilke and B. Demuth, “UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure”, ECEASST, vol. 44, Oct. 2011.