Cooperative Driving and Lane Changing Modeling for Connected Vehicles in the Vicinity of Traffic Signals: A Cyber-Physical Perspective | IEEE Journals & Magazine | IEEE Xplore