Analysis of multi-agent systems based on KAOS modeling. - Hiroyuki Nakagawa; Takuya Karube; Shinichi Honiden (ICSE, 2006)