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