On the formal semantics of Statecharts. (1987)

by D Harel, A Pnueli, J P Schmidt, R Sherman
Venue:in Proceedings 2nd IEEE Symposium on Logic in Computer Science,