Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. - László Lengyel; Tihamer Levendovszky; P. Kozma; Hassan Charaf (IASTED Conf. on Software Engineering, 2005)