P. Paiva, O. Saotome, and C. Brandauer.
" Specification and verification of a multi-agent coordination protocol with TLA+", in <em>Proceedings of the 8th Brazilian Symposium on Computing Systems Engineering</em>, Salvador, 2018, pp. 155-160.