A LTS Approach to Control in Event-B

Figure 7

The component LTSs and flow LTSs of the first refinement model.

(a) LTS S1

(b) LTS R1

(c) LTS Flow1

(d) LTS Flow2