A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles | IEEE Journals & Magazine | IEEE Xplore