Title: Testing of Communicating Systems