David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
On the Formal Semantics of Statecharts
LICS, 1987.
@inproceedings{LICS-1987-HarelPSS,
author = "David Harel and Amir Pnueli and Jeanette P. Schmidt and Rivi Sherman",
booktitle = "{Proceedings of the Second Symposium on Logic in Computer Science}",
pages = "54--64",
publisher = "{IEEE Computer Society}",
title = "{On the Formal Semantics of Statecharts}",
year = 1987,
}