Paiva, Pedro, 		Saotome, Osamu, E 		Brandauer, Christof.
" Specification and verification of a multi-agent coordination protocol with TLA+" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (6 novembro 2018)