Pazin, Y., & 		Dotti, F.
(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>, (pp. 126-139). Porto Alegre: SBC.
doi:10.5753/wtf.2025.9510