1. International Telecommunications Union (ITU-T), Recommendation Z.120: Message Sequence Charts, revised 1996.
2. International Telecommunications Union (ITU-T), Recommendation Z.100: Specification and Description Language, revised 1996.
3. International Standards Organization (ISO), OSI Conformance Testing Methodology and Framework—Part 3: The Tree and Tabular Combined Notation, International Standard 9646-3, 1992.
4. Telelogic Tau tool set, version 3.3, Telelogic AB, Malmo Sweden.
5. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquer, N. Texier, M. Phalippou, Assessment of automatic generation methods of conformance test suites in an industrial context, Proceedings of the Ninth International Workshop on the Testing of Communicating Systems (IWTCS ‘96), Darmstadt Germany, Chapman and Hall, London, 1996, pp. 347–361.