Adaptive Traffic Light Control With Quality-of-Service Provisioning for Connected and Automated Vehicles at Isolated Intersections. - Lei Miao 008; Dallas Leitner (IEEE Access, 2021)