Human-Machine Interaction Design for Negotiation in Highly Automated Vehicles