Digital Twin Edge Services With Proximity-Aware Longitudinal Lane Changing Model for Connected Vehicles | IEEE Journals & Magazine | IEEE Xplore