Marcelo Linder and Augusto Costa. 2007. Behavioral Modeling of Multi-Agent Systems. In Proceedings of the 6th National Meeting on Artificial Intelligence, June 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 1172-1181.