Paiva, P., 		Saotome, O., & 		Brandauer, C.
2018 nov  6.  Specification and verification of a multi-agent coordination protocol with TLA+. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :