Statecharts, introduced by David Harel [4], are a visual and executable formalism for modeling complex reactive systems. It has roots in the Finite State Automata (FSA) formalism and adds new concepts to it. Those new concepts make the formalism suitable for specifying discrete event systems.