1. ISO/IEC International Standard 9646-1/2/3. OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992. 108
2. S. Abramsky. Observational equivalence as a testing equivalence. Theoretical Computer Science, 53(3), 1987. 108
3. B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hantz. The AVALON project: A VALidatiON Environment For SDL/MSC Descriptions. In 6th SDL Forum, Darmstadt, 1993. 118, 120
4. M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, and L. Mounier. Verification and test generation for the SSCOP protocol. Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems, To appear, 1999. 117, 118
5. E. Brinskma. A theory for the derivation of tests. In Protocol Specification, Testing and Verification VIII, pages 63–74. North-Holland, 1988. 108