A LTS Approach to Control in Event-B

Figure 5

The LTS of the abstract model and the composition of the component LTS.

(a) LTS S0

(b) LTS R0

(c) LTS Sys0