Quadros, Carlos, Jader de Freitas Saldanha, Narusci Bastos, Newton Nyamasege Marube, and Eder Mateus Gonçalves.
" A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later." <em>Proceedings of the 10th Workshop-School on Agents, Environments, and Applications,
Maceió/AL, 2016</em>. SBC, 2016,  
pp.82-93.