Knowledge base approach to consistency management of UML specifications | IEEE Conference Publication | IEEE Xplore