1. ISO/TC 97/SC 16/WG1 IS 7498. Basic Reference Model for Open System Interconnection, 1983.
2. Methods and Semi-automatic Tools for Preparing Distributed Testing;Castanet,1987
3. J. Grabowski, Test case generation and test case specification with Message Sequence Charts, PhD thesis, University of Berne, February, 1994.
4. O. Koné, R. Castanet, Test Design From System Level Specification, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, August 1998.
5. Test selection based on communicating non deterministic machines using a generalized Wp-method;Luo;IEEE Trans. Software Engng,1994