“…IFIP TC6 International Workshop on Testing of Communicating Systems Darmstadt, Germany…”