A macroscopic propagation model for bidirectional pedestrian flows on signalized crosswalks | IEEE Conference Publication | IEEE Xplore