Testing of Communicating Systems : 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings - Ferhat Khendek, Rachida Dssouli ((Lecture Notes in Computer Science))