Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. - Olaf Henniger; Behçet Sarikaya; Steve Biedlingmaier (Protocol Test Systems, 1993)