Possato, T., 		Valentini, J., 		Southier, L., & 		Teixeira, M.
(2023).
 Automated Code Generation for DES Controllers Modeled as Finite State Machines.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 113-130). Porto Alegre: SBC.