Testing Communicating Systems by Myungchul Kim, Sungwon Kang & Keesoo Hong