Conformance testing methodologies and architectures for OSI protocols (IEEE Computer Soc. Press, 1994)