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