状態遷移プログラミング
Programming a state machine
特殊ツールの利用
Use special tools
プログラミングテクニックによるもの
Use special programming techniques
e.g. StateChartの実装