Analysis of Automotive Cyber-Attacks on Highways Using Partial Differential Equation Models | Synapse