A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles