Scheffel, Roberto, E 		Camargo, Murilo.
" Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (15 outubro 1997)