O. Santos and F. Dotti.
" 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>, Natal/RN, 2003, pp. 61-68, doi: <a href="https://doi.org/10.5753/wtf.2003.23391">https://doi.org/10.5753/wtf.2003.23391</a>.