A CTW scheme for some FSM models | IEEE Conference Publication | IEEE Xplore