A precise approach to validating UML models and OCL constraintsMark RichtersUitverkocht4,3Hou mij op de hoogte