A Queuing Model and Capacity Analysis for Reservation-Based Autonomous Intersection | IEEE Journals & Magazine | IEEE Xplore