by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas), Ed Brinksma, Giuseppe Scollo
