A LTS Approach to Control in Event-B

Figure 2

iUML-B state machine control flow modeling principle.