Peixoto, Diogo, and Odorico Machado Mendizabal.
" Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems." <em>Anais do XXVI Workshop de Testes e Tolerância a Falhas,
Natal/RN, 2025</em>. SBC, 2025,  
pp.113-125.