selected publications conference paper FSM-Based Test Derivation Strategies for Systems with Time-Outs. . 141-149. 2011