1. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, North Holland, 1988. IFIP Transactions.
2. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, and M. Phalippou. Assessment of automatic generation methods of conformance test suites in an industrial context. In B. Baumgarten, 11.-J. Burkhardt, and A. Giessler, editors, IFIP TC6 9
th
International Workshop on Testing of Communicating Systems. Chapman and Hall, p. 346–361, September 1996.
3. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In A. Alur and T. Hen-zinger, editors, Conference on Computer-Aided Verification (CAV ‘86), New Brunswick, New Jersey, USA, LNCS 1102. Springer, July 1996.
4. FMCT ISO/IEC JTC1/SC21 WG7, ITU-T. SG 10/Q.8. Information Retrieval, Transfer ad Management for OSI; Framework: Formal Methods in Conformance Testing. Committee Draft CD 13245–1, ITU-T proposed recommendation Z 500. ISO - ITU-T, Geneve, 1996.
5. ITU-T Z.100. Specification and Description Language (SDL). Recommendation ITU Z. 100, 1996.