A Mathematical Programming Model and a Firefly-Based Heuristic for Real-Time Traffic Signal Scheduling With Physical Constraints | IEEE Journals & Magazine | IEEE Xplore