Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29.September 1, 2000, Ottawa, Canada - Hasan Ural, Robert L. Probert, Gregor Bochmann ((IFIP Advances in Information and Communication Technology))