Dotti, F., 		Foss, L., 		Ribeiro, L., & 		Santos, O.
2003 Oct  8.  Especificação e Verificação Formal de Sistemas Distribuídos. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :