A Linear Programming Model for the Single Destination System Optimum Dynamic Traffic Assignment Problem | Synapse