G. Moreira, C. Vasconcellos, and J. Kniess.
" Fully-Tested code generation from TLA+ specifications", in <em>Anais do VII Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Uberlândia, 2022, pp. 19–28.