FSM-Based Test Derivation Strategies for Systems with Time-Outs. - Maxim Zhigulin; Nina Yevtushenko 001; Stéphane Maag; Ana R. Cavalli (QSIC, 2011)