@mastersthesis{mastersthesiscfe682f3,
title   = {Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos},
author = {Fortes, Renata Pontin de Mattos and Masiero, Paulo Cesar},
year = {1991},
school = {Universidade de São Paulo}
}