Testing Of Communicating Systems by Sarolta Dibuz, Katalin Tarnay & Dieter Ed Hogrefe