@article{JF-42,
author= Hae S. Song and Tag G. Kim,
title="Application of Real-time DEVS to Analysis of Safety-critical Embedded Control Systems: Railroad-crossing Control Example",
journal=Simulation,
volume= 81,
number=2,
pages= 119 - 136,
year= 2005. ,
}