Model-based analysis of traffic flow in signalized intersections | IEEE Conference Publication | IEEE Xplore