E. Willink, “Aligning OCL with UML”, ECEASST, vol. 44, Oct. 2011.