Delay-Tolerant and Prioritized Batch Verification System using Efficient RSU Scheduling in VANET | IEEE Conference Publication | IEEE Xplore