Introduction to design choices in the semantics of Statecharts (1991)

by C Huizing, W-P de Roever
Venue:Information Processing Letters