Peixoto, D., & 		Mendizabal, O.
2025 mai 19.  Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :