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.