Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams | Publicación