@inproceedings{inproceedingscdedcf99,
title   = {Execucao exaustiva de statecharts},
author = {Boaventura, I A G and Masiero, Paulo Cesar},
year = {1992},
publisher = {Instituto de Informatica da Ufrgs},
booktitle   = {Simposio Brasileiro de Engenharia de Software}
}