Reachability tree for statecharts and analysis of some properties - Masiero, Paulo Cesar; Maldonado, José Carlos; Boaventura, I G (Information and Software Technology, 1994)