Ricardo Martins, Murilo Camargo, and Jean-Marie Farines. 1996.
 Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. In <em>Anais do X Simpósio Brasileiro de Engenharia de Software</em>, outubro 14, 1996, São Carlos/SP, Brasil. SBC, Porto Alegre, Brasil, 259-274. DOI: <a href="https://doi.org/10.5753/sbes.1996.24447">https://doi.org/10.5753/sbes.1996.24447</a>.