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