Research Article

A LTS Approach to Control in Event-B

Figure 4

The principle of bounded retransmission protocol.