Santos, S., & 		Silva, F.
1995 out  3.  Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :