Dynamic system optimal traffic assignment with atomic users: Convergence and stability. (January 2022)