ISMAIL, A.; LATIF, M.; AWAI, M. Exploiting witness for traffic simulation. Journal of Management and Science, v. 4, n. 1, p. 12-24, 30 Jun. 2014.