Description, simulation and implementation of communication protocols using PDIL. - Jean-Pierre Ansart; V. Chari; M. Neyer; Omar Rafiq; D. Simon (SIGCOMM, 1983)