A unified approach for the synthesis of self-testable finite state machines | IEEE Conference Publication | IEEE Xplore