T. Possato, J. Valentini, L. Southier, and M. Teixeira.
" Automated Code Generation for DES Controllers Modeled as Finite State Machines", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 113-130.