MasieroMB94'

@article{DBLP:journals/infsof/MasieroMB94,
  author    = {Paulo Cesar Masiero and
               Jos{\'e} Carlos Maldonado and
               I. G. Boaventura},
  title     = {A reachability tree for statecharts and analysis of some
               properties},
  journal   = {Information {\&} Software Technology},
  volume    = {36},
  number    = {10},
  year      = {1994},
  pages     = {615-624},
  ee        = {http://dx.doi.org/10.1016/0950-5849(94)90021-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}