Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings - Dieter Hogrefe, Anthony Wiles ((Lecture Notes in Computer Science))