3章のあり方を見直す＆まとめがおかしい

3章は必要か、必要としても初学者にはわかりにくのではないか。
あり方を再検討すべきかもしれない。

* ステートマシン図の説明が具体的でないのでわかりにくい
* ステートマシン図の説明に使っている状態名等（ev,st,etc.)がわかりにくい
* 3章のまとめに「構造のモデルの作成手順」や「構造のモデルだけでは…」なのはおかしい
  - 「ステートマシン図が必要なこと」と「実装方法を決めずに振る舞いのモデルを作るのは乖離の原因になる」ことを説くべき
  - 2章が「構造のモデルの作成手順」、「4章のまとめが「振る舞いのモデルを作成した手順」なので、3章は「モデルとコードを対応付ける」ことの必要性のまとめと手順のまとめを書くべき
* 少なくとも「読み飛ばしてよい」というオプションが使えるべきだろう