Distributed Maneuver Planning With Connected and Automated Vehicles for Boosting Traffic Efficiency | IEEE Journals & Magazine | IEEE Xplore