Santos, O., & 		Dotti, F.
(2003).
 Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos.
In <em>Anais do IV Workshop de Testes e Tolerância a Falhas</em>, (pp. 61-68). Porto Alegre: SBC.
doi:10.5753/wtf.2003.23391