Ismail, Azhar, Muhammad Latif, and Mian Awai. 2014. “Exploiting Witness for Traffic Simulation”. Journal of Management and Science 4 (1), 12-24. https://doi.org/10.26524/jms.2014.2.