-- 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