Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project

Hyun-seok Min, Sang-Mun Chung, Jin-Young Choi. Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. J. UCS, 19(1):53-77, 2013. [doi]

Abstract

Abstract is missing.