A Tuning Machine for Collective Commitments | part of Teamwork in Multi-Agent Systems: A Formal Approach | Wiley Telecom books | IEEE Xplore