This is a great paper on Reducing pedestrian delay at traffic signals.