David Harel Amir Pnueli Jeanette P. Schmidt Rivi Sherman On the Formal Semantics of Statecharts (Extended Abstract) 54-64 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#HarelPSS87