Discrete event model verification using system morphism. - Ki Jung Hong; Tag Gon Kim (SMC, 2001)

Timed I/O Test Sequences for Discrete Event Model Verification. - Ki Jung Hong; Tag Gon Kim (AIS, 2004)

DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. - Ki Jung Hong; Tag Gon Kim (Inf. Softw. Technol., 2006)