状態遷移設計手法　組込みエンジニアのための

現場で使える状態遷移図・状態遷移表の記述テクニック　 ＭＢＤ　Ｌａｂ　Ｓｅｒｉｅｓ