state" status using [...] : The transition from any state to the Idle state
state [...] error state of the F
(see: States
state Insert Empty
operation: The state [...] enter the safe state
: The transition from any state to the Idle state [...] the error states
states of the safety
in state) over a
comment state
value or state