Automated Code Generation for DES Controllers Modeled as Finite State Machines. - Tiago Possato; João H. Valentini; Luiz Fernando Puttow Southier; Marcelo Teixeira (SBMF, 2023)

DEScMaker: A tool for automated code generation for discrete event systems controllers. - Tiago Possato; João H. Valentini; Luiz Fernando Puttow Southier; Marco A. C. Barbosa; Marcelo Teixeira (Sci. Comput. Program., 2026)