Peixoto, D., & 		Mendizabal, O.
(2025).
 Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems.
In <em>Proceedings of the 26th Workshop on Testing and Fault Tolerance</em>, (pp. 113-125). Porto Alegre: SBC.
doi:10.5753/wtf.2025.8866