A Graph Partitioning Algorithm for Parallel Agent-Based Road Traffic Simulation
congested traffic states in empirical observations and microscopic simulations .