Relevance-based verification of VANET safety messages | IEEE Conference Publication | IEEE Xplore