@article{JF-43,
author= Ki J. Hong and Tag G. Kim,
title="Timed I/O Sequences for Discrete Event Model Verification",
journal=Lecture Notes in Computer Science,
volume= LNAI 3397,
pages= 275 - 284,
month= Feb.,
year= 2005. ,
}