Markovicz, João, Gleifer Vaz Alves, and André Pinz Borges.
" Criação de Agentes BDI a partir de Modelos do UPPAAL." <em>Anais do XVIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.174-179.