slide
:
The event state-transition diagram