Ferramenta de análise de controladores para sistemas de eventos discretos - Tsugawa, Marcia Fumie; Inove, Alexandre Shigueru; Takase, Fábio Kawaoka; Miyagi, Paulo Eigi (Congresso de Iniciação Científica e Tecnológica em Engenharia, 1994)