Email Record: An efficient lane change maneuver for platoons of vehicles in an automated highway system /