Detecting and fixing UML model inconsistencies using constraints | IEEE Conference Publication | IEEE Xplore