Path-based system optimal dynamic traffic assignment models: formulations and solution methods | IEEE Conference Publication | IEEE Xplore