A new algorithm for exact reduction of incompletely specified finite state machines | IEEE Journals & Magazine | IEEE Xplore