Cross-fertilizing FSM verification techniques and sequential diagnosis | IEEE Conference Publication | IEEE Xplore