H.-S. Min, S.-M. Chung, J.-Y. Choi: Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project /jucs_19_1/deriving_system_behavior_from
J. Kim, J.-Y. Choi, I. Kang, I. Lee: UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture /jucs_16_17/uml_behavior_models_of