Introduction to design choices in the semantics of Statecharts
scientific article; zbMATH DE number 4174313