Santos, Simone, E 		Silva, Fabio.
" Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 1995)