Santos, O., & 		Dotti, F.
2003 mai 19.  Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :