A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. - Ryo Suetsugu; Shoji Yuen; Kiyoshi Agusa (APSEC, 2007)