Safety and Efficiency Tradeoff Analysis for Automated Highway System : Part 3 : Longitudinal Separation on AHS : A Trade-off Between Collision Probability / Severity and Capacity