Moreira, G., 		Vasconcellos, C., & 		Kniess, J.
(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>, (pp. 19–28). Porto Alegre: SBC.