Possato, Tiago, 		Valentini, João, 		Southier, Luiz, E 		Teixeira, Marcelo.
" Automated Code Generation for DES Controllers Modeled as Finite State Machines" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)