Especificacao e simulacao de fms atraves de statecharts - Maruyama, E J; Politano, P R; Anacleto, J C; Porto, Arthur José Vieira (Congresso de Iniciacao Cientifica e Tecnologica em Engenharia, 1991)