Diogo Peixoto and Odorico Mendizabal. 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>, maio 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 113-125. DOI: <a href="https://doi.org/10.5753/wtf.2025.8866">https://doi.org/10.5753/wtf.2025.8866</a>.