リアルタイム/マルチタスクシステムの徹底研究―組み込みシステムの基本とタスクスケジューリング技術の基礎 (TECHI)