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