Quadros, C., 		Saldanha, J., 		Bastos, N., 		Marube, N., & 		Gonçalves, E.
(2016).
 Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois.
In <em>Anais do X Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, (pp. 82-93). Porto Alegre: SBC.
doi:10.5753/wesaac.2016.33208