Martins, Ricardo, Murilo Silva de Camargo, and Jean-Marie Farines.
" Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS." <em>Anais do X Simpósio Brasileiro de Engenharia de Software,
São Carlos/SP, 1996</em>. SBC, 1996,  
pp.259-274.