Simple demonstration of the model used for
cosimulation. First, we show the model in its entirety (it is just a hierarchical version of the standard timed version of the simple stop-and-wait protocol). We then show a version split up into two modules, the sender and the rest.
