Incremental Verification of UML/OCL Models. | Publicación