Willink, E. Aligning OCL With UML. ECEASST 2011, 44.