Possato, T., 		Valentini, J., 		Southier, L., & 		Teixeira, M.
2023 dez  4.  Automated Code Generation for DES Controllers Modeled as Finite State Machines. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :