Possato, T., 		Valentini, J., 		Southier, L., & 		Teixeira, M.
(2023).
 Automated Code Generation for DES Controllers Modeled as Finite State Machines.
In <em>Proceedings of the 26th Brazilian Symposium on Formal Methods</em>, (pp. 113-130). Porto Alegre: SBC.