"Testing of Communicating Systems" - читать интересную книгу автора (Roland Groz, Robert M. Hierons)