João Markovicz, Gleifer Alves, and André Borges. 2024.
 Criação de Agentes BDI a partir de Modelos do UPPAAL. In <em>Anais do XVIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, agosto 14, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 174-179. DOI: <a href="https://doi.org/10.5753/wesaac.2024.33470">https://doi.org/10.5753/wesaac.2024.33470</a>.