S., Rui, 		Andrade, Aline, 		Costa, Augusto, E 		Barboza, Frederico.
" An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking" <em>Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC)</em> [Online], (26 maio 2013)