Smart Bound Selection for the Verification of UML/OCL Class Diagrams | Publicación