Peixoto, Diogo, AND 		Mendizabal, Odorico.
" Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (19 May 2025)