Santos, Simone, AND 		Silva, Fabio.
" Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 1995)