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

Please pass captcha verification before submit form