back to article...

Finite State Machine

dashed lines are asynchronous transitions (3 seconds)