Dotti, F., 		Foss, L., 		Ribeiro, L., & 		Santos, O.
2003 out  8.  Especificação e Verificação Formal de Sistemas Distribuídos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :