Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings - Roland Groz, Robert M. Hierons ((Lecture Notes in Computer Science))