Verification of UML/OCL Class Diagrams using Constraint Programming | IEEE Conference Publication | IEEE Xplore