D. Peixoto and O. Mendizabal.
" Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems", in <em>Proceedings of the 26th Workshop on Testing and Fault Tolerance</em>, Natal/RN, 2025, pp. 113-125, doi: <a href="https://doi.org/10.5753/wtf.2025.8866">https://doi.org/10.5753/wtf.2025.8866</a>.