Mini-statecharts a lean version of statecharts - Nazareth, Dieter; Regensburger, Franz; Scholz, Peter (1996)