Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. - Hyun-seok Min; Sang-Mun Chung; Jin-Young Choi (J. Univers. Comput. Sci., 2013)