R. Scheffel and M. Camargo.
" Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação", in <em>Proceedings of the 11th Brazilian Symposium on Software Engineering</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>.