Operational performance of a congested corridor with lanes dedicated to autonomous vehicle traffic. international journal of transportation science and technology; connected and automated vehicles: effects on traffic