Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles | IEEE Journals & Magazine | IEEE Xplore