Possato, Tiago, João H. Valentini, Luiz F. P. Southier, and Marcelo Teixeira.
" Automated Code Generation for DES Controllers Modeled as Finite State Machines." <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.113-130.