Verification-driven slicing of UML/OCL models | Publicación