On the Formal Semantics of Statecharts (1987)

by Sherman
Venue:in Proc. 2nd IEEE S)'mp, Logic in Corn ptaerScieuce