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>Proceedings of the 10th Brazilian Symposium on Software Engineering,
São Carlos/SP, 1996</em>. SBC, 1996,  
pp.259-274.