Peixoto, D., & 		Mendizabal, O.
2025 out 27.  A Practical TLA+ Library for Designing and Verifying Distributed Systems. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :