Tomoji Kishi Toshiaki Aoki Shin Nakajima Natsuko Noda Takuya Katayama Project Report: High-Reliable Object-Oriented Embedded Software Design. 144-148 2004 conf/wstfeus/2004 WSTFEUS http://csdl.computer.org/comp/proceedings/wstfeus/2004/2123/00/21230144abs.htm db/conf/wstfeus/wstfeus2004.html#KishiANNK04