A Cell-Based Traffic Control Formulation: Strategies and Benefits of Dynamic Timing Plans | Synapse