TrafficModeler: A Graphical Tool for Programming Microscopic Traffic Simulators through High-Level Abstractions | IEEE Conference Publication | IEEE Xplore