Moreira, Gabriela, 		Vasconcellos, Cristiano, E 		Kniess, Janine.
" Fully-Tested code generation from TLA+ specifications" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (3 outubro 2022)