Automated generation of protocol test sequences from formal specifications. - Gilbert M. Lundy; C. Basaran (ICNP, 1994)