Frage zu Artikel "Verifying OCL Specifications of UML Models"