FSM-Based Test Derivation Strategies for Systems with Time-Outs | IEEE Conference Publication | IEEE Xplore