Synthesis of Testable Finite State Machine Through Decomposition | IEEE Conference Publication | IEEE Xplore