Finding the K shortest paths in a schedule-based transit network · Study