Yuri Pazin and Fernando Dotti. 2025.
 Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of. In <em>Anais do XXVI Workshop de Testes e Tolerância a Falhas</em>, maio 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 126-139. DOI: <a href="https://doi.org/10.5753/wtf.2025.9510">https://doi.org/10.5753/wtf.2025.9510</a>.