单片机程序的状态机模型

• The State Machine Model for Microcontroller Programming