Ferhat Khendek Rachida Dssouli Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings 3502 2005 3-540-26054-4 TestCom Lecture Notes in Computer Science Springer db/conf/pts/testcom2005.html