1. ISO/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework
2. A.Ek, J.Grabowski, D.Hogrefe, R.Jerome, B.Koch, M.Schmitt: Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, Institute for Telematics, University of Lübeck, Technical Report A-97–03, 1997
3. J.C.Fernandez, C.Jard, T.Jéron, L.Nedelka, C.Viho: Using on-thefly verification techniques for test generation of test suites, INRIA Technical Report No 2987, France, 1996
4. J.C.Fernandez, C.Jard, T.Jéron, L.Nedelka, C.Viho: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, INRIA Technical Report No 2923, France, 1996
5. Revised Working Draft on “Framework: Formal Methods in Conformance Testing”, JTC1/SC21/WG1/Project 54.1, January 1995