A new tree based double covered broadcast protocol for VANET | IEEE Conference Publication | IEEE Xplore