C. Quadros, J. Saldanha, N. Bastos, N. Marube, and E. Gonçalves.
" 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>, Maceió/AL, 2016, pp. 82-93, doi: <a href="https://doi.org/10.5753/wesaac.2016.33208">https://doi.org/10.5753/wesaac.2016.33208</a>.