Variable time discretization for a time-dependent shortest path algorithm | IEEE Conference Publication | IEEE Xplore