Quadros, C., 		Saldanha, J., 		Bastos, N., 		Marube, N., & 		Gonçalves, E.
2016 May 23.  A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later. Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC). [Online] :