Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International