Systems Modeling and Simulation: Theory and Applications: Modeling and simulation of red light running violation at urban intersections