A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control | IEEE Conference Publication | IEEE Xplore