Y. Pazin and F. Dotti.
" 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>, Natal/RN, 2025, pp. 126-139, doi: <a href="https://doi.org/10.5753/wtf.2025.9510">https://doi.org/10.5753/wtf.2025.9510</a>.