Harel (1987)

Harel D. (1987)

Statecharts: a visual formalism for complex systems

Science of Computer Programming 8, pp. 231-274