@article{JF-25,
author= Gyung Pyo Hong and Tag Gon Kim,
title="A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology",
journal=Transactions of the Society for Computer Simulation,
volume= 13,
number=1,
pages= 19 - 34,
year= 1996. ,
}