Scheffel, Roberto, and Murilo Silva de Camargo.
" Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação." <em>Anais do XI Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1997</em>. SBC, 1997,  
pp.215-230.