Gerald Lüttgen Michael Mendler The intuitionism behind Statecharts steps. 1-41 2002 3 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/504077.504078 db/journals/tocl/tocl3.html#LuttgenM02