Bridging the Gap Between AUML and Implementation Using IOM/T. - Takou Doi; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (PROMAS, 2004)