A Layer-Independent Architecture for a Testing System of Protocol Implementations. - Sergio Palazzo; P. Fogliata; Gesualdo Le Moli (Protocol Specification, Testing, and Verification, 1983)