Peixoto, Diogo, E 		Mendizabal, Odorico.
" A Practical TLA+ Library for Designing and Verifying Distributed Systems" <em>Anais do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (27 outubro 2025)