Ismail, A.; Latif, M.; Awai, M. Exploiting Witness for Traffic Simulation. J.M.S 2014, 4, 12-24.