Analytical Characterization of Cyberattacks on Adaptive Cruise Control Vehicles | Synapse