Ho, Leung, Polak, 2012. A Methodology for Studying VANET Performance with Practical Vehicle Distribution in Urban Environment.