SCHEFFEL, Roberto Milton; CAMARGO, Murilo Silva de. Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 11. , 1997, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1997 . p. 215-230. DOI: https://doi.org/10.5753/sbes.1997.24050.