Success Probability and Area Spectral Efficiency of a VANET Modeled as a Cox Process.