Udgivelser med Ifip Tc6 International Workshop on Testing of Communicating Systems