Pazin, Yuri, and Fernando Luis Dotti.
" Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of." <em>Anais do XXVI Workshop de Testes e Tolerância a Falhas,
Natal/RN, 2025</em>. SBC, 2025,  
pp.126-139.