Incremental integrity checking of UML/OCL conceptual schemas | Publicación