Pazin, Y., & 		Dotti, F.
2025 May 19.  A TLA+ framework for the specification and verification of distributed algorithms using the Heard-Of model.. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :