Merging visual analysis with automated reasoning: Using Prajna to solve the traffic challenge | IEEE Conference Publication | IEEE Xplore