UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. - KeungSik Choi; SungChul Jung; HyunJung Kim; Doo-Hwan Bae; DongHun Lee (IASTED Conf. on Software Engineering, 2006)