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