Santos, O., & 		Dotti, F.
2003 May 19.  Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :