Eliciting Coordination Policies from Requirements