Seizing the Opportunity for Automation—How Traffic Density Determines Truck Drivers' Use of Cruise Control | IEEE Journals & Magazine | IEEE Xplore