PDE-based analysis of automotive cyber-attacks on highways | IEEE Conference Publication | IEEE Xplore