Example of Modeling with SDL:
a simple communication protocol
A sender and a receiver communicate
Buffer size is 1: each message must be
acknowledged before next is sent
If acknowledgement does not arrive in a
reasonable time, message is resent
The communication network may lose but not
corrupt messages