Paulo César Masiero, José Carlos Maldonado, Inês A. G. Boaventura: A reachability tree for statecharts and analysis of some properties. Inf. Softw. Technol. 36(10): 615-624 (1994)