Moreira, G., 		Vasconcellos, C., & 		Kniess, J.
2022 out  3.  Fully-Tested code generation from TLA+ specifications. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :