拡張階層化状態遷移表設計手法Ｖｅｒ．２．０　Ｅｍｂｅｄｄｅｄ　ＳＥのための設計手法 / 渡辺政彦／著