SANTOS, Simone C. dos; SILVA, Fabio Q. B. da. Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 9. , 1995, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1995 . p. 91-106. DOI: https://doi.org/10.5753/sbes.1995.24078.