Peixoto, D., & 		Mendizabal, O.
2025 May 19.  Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :