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