Quadros, C., 		Saldanha, J., 		Bastos, N., 		Marube, N., & 		Gonçalves, E.
(2016).
 A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later.
In <em>Proceedings of the 10th Workshop-School on Agents, Environments, and Applications</em>, (pp. 82-93). Porto Alegre: SBC.
doi:10.5753/wesaac.2016.33208