Cornelis Huizing Willem P. de Roever Introduction to Design Choices in the Semantics of Statecharts. 205-213 1991 37 Inf. Process. Lett. 4 db/journals/ipl/ipl37.html#HuizingR91