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

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