Safety-Critical Connected Cruise Control: Leveraging Connectivity for Safe and Efficient Longitudinal Control of Automated Vehicles | IEEE Conference Publication | IEEE Xplore