Pazin, Y., & 		Dotti, F.
2025 mai 19.  Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :