Diogo Peixoto and Odorico Mendizabal. 2025.
 A Practical TLA+ Library for Designing and Verifying Distributed Systems. In <em>Anais do XIV Latin-American Symposium on Dependable Computing</em>, outubro 27, 2025, Valparaíso/Chile, Brasil. SBC, Porto Alegre, Brasil, 183-200.