David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman. On the Formal Semantics of Statecharts (Extended Abstract). In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 54-64, IEEE Computer Society, 1987.
Abstract is missing.