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