A COMPARISON OF STEP-SEMANTICS OF STATECHARTS