Gabriela Moreira, Cristiano Vasconcellos, and Janine Kniess. 2022.
 Fully-Tested code generation from TLA+ specifications. In <em>Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing</em>, October 03, 2022, Uberlândia, Brasil. SBC, Porto Alegre, Brasil, 19–28.