J. Chimiak-Opoka and C. Lenz, “Use of OCL in a Model Assessment Framework: An experience report”, ECEASST, vol. 5, Jul. 2007.