Extracting threads from concurrent objects for the design of embedded systems. - Mitsutaka Okazaki; Toshiaki Aoki; Takuya Katayama (APSEC, 2002)

Highly Reliable Embedded Software Development Using Advanced Software Technologies. - Takuya Katayama; Tatsuo Nakajima; Taiichi Yuasa; Tomoji Kishi; Shin Nakajima 001; Shuichi Oikawa; Masahiro Yasugi; Toshiaki Aoki; Mitsutaka Okazaki; Seiji Umatani (IEICE Trans. Inf. Syst., 2005)