An enhanced 0-1 mixed-integer LP formulation for traffic signal control | IEEE Journals & Magazine | IEEE Xplore