What is in a Step: On the Semantics of Statecharts.

Amir Pnueli M. Shalev What is in a Step: On the Semantics of Statecharts. 244-264 1991 conf/tacs/1991 TACS db/conf/tacs/tacs91.html#PnueliS91