Karau, L., 		Cardoso, R., 		Borges, A., & 		Alves, G.
(2025).
 A Proposal for Translating Timed Automata to BDI Agents.
In <em>Proceedings of the 8th Workshop-School of Theoretical Computer Science</em>, (pp. 208-213). Porto Alegre: SBC.