Pedro Paiva, Osamu Saotome, and Christof Brandauer. 2018. Specification and verification of a multi-agent coordination protocol with TLA+. In Anais do VIII SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais, novembro 06, 2018, Salvador, Brasil. SBC, Porto Alegre, Brasil, 155-160.