Santos, Simone, and Fabio Q. B. da Silva.
" Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica." <em>Anais do IX Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1995</em>. SBC, 1995,  
pp.91-106.