On the use of reset to increase the testability of interconnected finite-state machines | IEEE Conference Publication | IEEE Xplore