Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology