Fixing Inconsistencies in UML Design Models | IEEE Conference Publication | IEEE Xplore