A Case Study in Environmental Disaster Management | part of Teamwork in Multi-Agent Systems: A Formal Approach | Wiley Telecom books | IEEE Xplore