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