Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes, Toulouse, France. (Tutorial paper 2nd Int. Workshop on Protocol Specification, Testing and Verification, May 17--20, 1982, Idyllwild - Los Angeles, USA), March 1982.
Also in: Computer Networks, pages 419-441. January 1983.