Geração de Gerenciadores de Sistemas Reativos. - Antonio G. Figueiredo Filho; Hans K. E. Liesenberg (SBES, 1991)