Martins, Ricardo, 		Camargo, Murilo, E 		Farines, Jean-Marie.
" Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (14 outubro 1996)