A mathematical model of pedestrians in signalized intersections | IEEE Conference Publication | IEEE Xplore