@inproceedings{inproceedings7cea1b4f,
title   = {Dynamic properties of statecharts: a reachability tree and analysis of some properties},
author = {Masiero, Paulo Cesar and Boaventura, I G and Maldonado, José Carlos},
year = {1992},
publisher = {Universidad de las Palmas},
booktitle   = {Conferencia Latinoamericana de Informatica}
}