1 Statecharts by David Harel, 1987 State machines ⊆ statecharts A state machine consists of Named states Transitions between states Events as labels.
