Dynamic Modeling and Control of High-Speed Automated Vehicles for Lane Change Maneuver | IEEE Journals & Magazine | IEEE Xplore