R. Scheffel and M. Camargo.
" 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>, Recife/PE, 1997, pp. 215-230, doi: <a href="https://doi.org/10.5753/sbes.1997.24050">https://doi.org/10.5753/sbes.1997.24050</a>.