Automatic translation from formal specification to system-level state transition diagram

• 从形式化规范自动生成系统级状态机