Benefits and challenges in developing warship simulator based on DEVS formalism. - Chang Beom Choi; Jang Won Bae; Tag Gon Kim; Jaeick Kim; Woong-Gie Han; Cheol Ho Kim (SpringSim, 2010)