Chiorean, D.; Ober, I.; Petrascu, V. Avoiding OCL Specification Pitfalls. eceasst 2012, 52.