Quality Improvement in Data Models with SLFD-based OCL Constraints. - Rosario Baena; Roberto Aragón; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001 (ICSOFT, 2013)