Single Intersection MPC Traffic Signal Control in Presence of Automated Vehicles | IEEE Journals & Magazine | IEEE Xplore