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