Pazin, Yuri, E 		Dotti, Fernando.
" Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (19 maio 2025)