Quadros, Carlos, 		Saldanha, Jader, 		Bastos, Narusci, 		Marube, Newton, AND 		Gonçalves, Eder.
" A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later" <em>Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC)</em> [Online], (23 May 2016)