Chiorean, D., Ober, I. and Petrascu, V. (2012) “Avoiding OCL specification pitfalls”, Electronic Communications of the EASST, 52. doi: 10.14279/tuj.eceasst.52.748.