Time dependent, shortest-path algorithm for real-time intelligent vehicle highway system applications · Study