D. Chiorean, I. Ober, and V. Petrascu, “Avoiding OCL specification pitfalls”, eceasst, vol. 52, Oct. 2012.