Dynamic Lane Reversal Routing and Scheduling for Connected and Autonomous Vehicles: Formulation and Distributed Algorithm | IEEE Journals & Magazine | IEEE Xplore