On optimizing bus dwell times to reduce the probability of stopping for a red light at intersections | IEEE Conference Publication | IEEE Xplore