| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| リアルタイム/マルチタスクシステムの徹底研究―組み込みシステムの基本とタスクスケジューリング技術の基礎 (TECHI) riarutaimu/ | 978-4-7898-3326-4 (4-7898-3326-7) | 2003 |
| 組み込みソフトへの数理的アプローチ―形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY) kumikomisofutohenosuuritekiapuroーchi―keishikishuhouniyorusofutoueanoshiyoukijutsutokenshou (COMPUTER TECHNOLOGY) | 978-4-7898-3808-5 (4-7898-3808-0) | 2012 |
| 組み込みソフトウェアの設計&検証―割り込み動作からRTOSを使った設計、ツールによる動作検証まで kumikomisofutoueanosekkei&kenshou―warikomidousakaraRTOSwotsukattasekkei、tsuーruniyorudousakenshoumade | 978-4-7898-3344-8 (4-7898-3344-5) | 2006 |