Statecharts were developed by Harel to specify complex reactive systems. Statecharts proved to be rich in modelling power and convenience [9] and well suited to mechanical implementation. However, the semantic definition ...