@article{JF-28,
author= JOON SUNG HONG, HAE-SANG SONG, TAG GON KIM and KYU HO PARK,
title="A Real-time Discrete Event System Specification Formalism for Seamless Real-time Software Development",
journal=Discrete Event Dynamic Systems,
volume= 7,
number=4,
pages= 355 - 375,
month= Oct.,
year= 1997. ,
}