OCL FO OCL FO : first-order expressive OCL constraints for efficient integrity checking | Publicación