Peixoto, Diogo, E 		Mendizabal, Odorico.
" Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (19 maio 2025)