P. Paiva, O. Saotome, and C. Brandauer.
"Specification and verification of a multi-agent coordination protocol with TLA+", in <em>Anais do VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Salvador, 2018, pp. 155-160.