Text this: Testing of communicating systems :