System-optimal dynamic traffic assignment with and without queue spillback: Its path-based formulation and solution via approximate path marginal costZhen Sean QianWei Shenet al.2012Transportation Research Part B