An Operational Semantics for UML State Machines in Model Checking Context

• 面向模型检验的UML状态机语义