Books by IFIP TC6 International Workshop on Testing of Communicating Systems (10th 1997 Cheju Island, Korea)