Parallel Vehicular Traffic Simulation using Reverse Computation-based Optimistic Execution | IEEE Conference Publication | IEEE Xplore