Moreira, G., 		Vasconcellos, C., & 		Kniess, J.
(2022).
 Fully-Tested code generation from TLA+ specifications.
In <em>Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 19–28). Porto Alegre: SBC.