Testing of Communicating Systems : Methods and Applications - Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay ((IFIP Advances in Information and Communication Technology))