Finite State Models
摘要
A finite state model (FSM) description of the module describes the operational and error states and how the module can transition between states.