Paiva, P., 		Saotome, O., & 		Brandauer, C.
(2018).
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>, (pp. 155-160). Porto Alegre: SBC.