Adaptive Traffic Light Control With Quality-of-Service Provisioning for Connected and Automated Vehicles at Isolated Intersections | IEEE Journals & Magazine | IEEE Xplore