Testing of Communicating Systems by