Roberto Scheffel and Murilo Camargo. 1997.
 Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. In <em>Anais do XI Simpósio Brasileiro de Engenharia de Software</em>, outubro 15, 1997, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 215-230. DOI: <a href="https://doi.org/10.5753/sbes.1997.24050">https://doi.org/10.5753/sbes.1997.24050</a>.