Harel (1987)
Harel D. (1987)
Statecharts: a visual formalism for complex systems
Science of Computer Programming 8, pp. 231-274