@inproceedings{inproceedings4ff28c3e, title = {Especificacao e simulacao de fms atraves de statecharts}, author = {Maruyama, E J and Politano, P R and Anacleto, J C and Porto, Arthur José Vieira}, year = {1991}, publisher = {Eesc-Usp}, booktitle = {Congresso de Iniciacao Cientifica e Tecnologica em Engenharia} }