A Method to Generate Conformance Test Sequences for FSM with Timer System Call. - Takanori Mori; K. Tokuda; Harumasa Tada; Masahiro Higuchi; Teruo Higashino (FORTE, 2001)