A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. - Mario R. F. Benevides; Carla A. D. M. Delgado; Carlos López Pombo; Luis Lopes 003; Ricardo Ribeiro 002 (SBMF, 2006)