@article{article2930f9c1,
title   = {Reachability tree for statecharts and analysis of some properties},
author = {Masiero, Paulo Cesar and Maldonado, José Carlos and Boaventura, I G},
year = {1994},
doi = {10.1016/0950-5849(94)90021-3},
journal   = {Information and Software Technology}
}