Nancy A. Day, Jeffrey J. Joyce: The Semantics of Statecharts in HOL. HUG 1993: 338-351