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