David Harel Statecharts: A Visual Formulation for Complex Systems. 231-274 1987 8 Sci. Comput. Program. 3 db/journals/scp/scp8.html#Harel87