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