Scheffel, R., & 		Camargo, M.
1997 out 15.  Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :