Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines | IEEE Journals & Magazine | IEEE Xplore