Books by IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (14th 2002 Berlin, Germany)