What is in a step: On the semantics of statecharts. (1991)

by A Pnueli, M Shalev
Venue:Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 526,