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