A Practical TLA+ Library for Designing and Verifying Distributed Systems. - Diogo Canut Freitas Peixoto; Odorico Machado Mendizabal (LADC, 2025)