Alert Service in VANET: Analysis and design