Peixoto, D., & 		Mendizabal, O.
(2025).
 Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems.
In <em>Anais do XXVI Workshop de Testes e Tolerância a Falhas</em>, (pp. 113-125). Porto Alegre: SBC.
doi:10.5753/wtf.2025.8866