Teaching consistency of UML specifications | IEEE Conference Publication | IEEE Xplore