S., R., 		Andrade, A., 		Costa, A., & 		Barboza, F.
(2013).
 An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking.
In <em>Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, (pp. 97-102). Porto Alegre: SBC.