CAVSim: A Microscope Traffic Simulator for Connected and Automated Vehicles Environment | IEEE Conference Publication | IEEE Xplore