Queues with Server Vacations as a Model for Pretimed Signalized Urban Traffic | Synapse