Lüttgen, Gerald, Beek, Michael von der and Cleaveland, Rance. 2000. “A Compositional Approach to Statecharts Semantics.” NASA/CR-2000-210086 ICASE. Hampton, Virginia: NASA Langley Research Center.
Lüttgen, Gerald and Mendler, Michael. 2001. “Statecharts: From Visual Syntax to Model-Theoretic Semantics.”GI Jahrestagung 1: 615–621.