-- Bounded retransmission protocol (communication protocol).

  Author: Klaus Havelund (havelund@cs.auc.dk)
  Organization: Aalborg University, Denmark.
  Reference:    Klaus Havelund, N. Shankar,
                "Experiments in Theorem Proving and Model Checking",
                Formal Methods Europe, 1996.

  Recommended SMV flag: -f

