Fault Detection in Timed FSM with Timeouts by SAT-Solving | IEEE Conference Publication | IEEE Xplore