Implicit prime compatible generation for minimizing incompletely specified finite state machines | IEEE Conference Publication | IEEE Xplore