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