Scheffel, R., & 		Camargo, M.
(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>, (pp. 215-230). Porto Alegre: SBC.
doi:10.5753/sbes.1997.24050