Osmar Santos and Fernando Dotti. 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>, maio 19, 2003, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 61-68. DOI: <a href="https://doi.org/10.5753/wtf.2003.23391">https://doi.org/10.5753/wtf.2003.23391</a>.