Tiago PossatoJoão H. ValentiniLuiz Fernando Puttow SouthierMarcelo TeixeiraAutomated Code Generation for DES Controllers Modeled as Finite State Machines.113-1302023SBMFhttps://doi.org/10.1007/978-3-031-49342-3_7conf/sbmf/2023db/conf/sbmf/sbmf2023.html#PossatoVST23