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