Ki Jung Hong, Tag Gon Kim: Timed I/O Test Sequences for Discrete Event Model Verification. AIS 2004: 275-284