Barbosa, Raquel, Antônio C. R. Costa, Patrícia C. A. R. Tedesco, and Alexandre C. Mota. " Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs." Anais do IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, Rio Grande/RS, 2010. SBC, 2010, pp.13-21.