Email Record: Vehicle modeling and control for automated highway systems /