Santos, Osmar, and Fernando Luís Dotti.
" Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos." <em>Anais do IV Workshop de Testes e Tolerância a Falhas,
Natal/RN, 2003</em>. SBC, 2003,  
pp.61-68.