A Formal Methodology Applied to Secure Over-the-Air Automotive Applications | IEEE Conference Publication | IEEE Xplore