Pazin, Y., & 		Dotti, F.
(2025).
 A TLA+ framework for the specification and verification of distributed algorithms using the Heard-Of model..
In <em>Proceedings of the 26th Workshop on Testing and Fault Tolerance</em>, (pp. 126-139). Porto Alegre: SBC.
doi:10.5753/wtf.2025.9510