publicações Uma ferramenta de apoio `a utilização de Statecharts para especificação do comportamento de Sistemas de Tempo-Real complexos Documento
