Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings - Hogrefe, Dieter; Hogrefe, Dieter; Wiles, Anthony; Wiles, Anthony (Springer Berlin Heidelberg : Imprint: Springer, 2003)