Cunha, Francisco, Viana, Marx, Rosemberg, Márcio, E Lucena, Carlos. " Verifying the behavior of agents in BDI4JADE with AspectJ" Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC) [Online], (1 junho 2015)