Martins, R., 		Camargo, M., & 		Farines, J.
1996 out 14.  Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :