CAVSim: A Microscopic Traffic Simulator for Evaluation of Connected and Automated Vehicles | IEEE Journals & Magazine | IEEE Xplore