Variable time discretization for a time-dependent shortest path algorithm · Study