On the verification of UML/OCL class diagrams using constraint programming | Publicación