Peixoto, D., & 		Mendizabal, O.
(2025).
 A Practical TLA+ Library for Designing and Verifying Distributed Systems.
In <em>Proceedings of the 14th Latin-American Symposium on Dependable Computing</em>, (pp. 183-200). Porto Alegre: SBC.