Agent Based Framework for Modeling Operations at Isolated Signalized Intersections | IEEE Conference Publication | IEEE Xplore