A Comparison of Statecharts StepSemantics. Theoretical Computer Science, (2003)

by A Maggiolo-Schettini, A Peron, S Tini