Minimization of incompletely specified finite state machines based on distinction graphs | IEEE Conference Publication | IEEE Xplore