This brief presents a stochastic microscopic mobility model that describes the temporal changes of intervehicle distances. The model is consistent with simulated and empirical vehicle traffic patterns. Using stochastic lumpability methods, the proposed mobility model is mapped into an aggregated mobility model that describes the mobility of a group of vehicles. In addition, the proposed mobility model is used to analyze the spatiotemporal VANET...