A LTS Approach to Control in Event-B

Figure 1

The control variables of Event-B machine.