Reversible discrete event formulation and optimistic parallel execution of vehicular traffic models. (22nd September 2009)