Category: VLWS91
Journal: Science of Computer Programming
Comment: Statechartは状態遷移グラフを拡張したグラフである。複
        数の状態をひとまとめにして扱ったり、複数の状態遷移を
        ひとつのイベントで同時に動かすことができる。Citizen
        Alarm Watchの記述例が示されている。
Bibtype: Article
Author: D. Harel
Pages: 231-274
Title: Statecharts: A visual formalism for complex systems
Year: 1987
Volume: 8