Teamwork in multi-agent systems : a formal approach - Dunin-Keplicz, Barbara