Algorithm 10 Time to next switch.

Input: Closest TLS tls Result: An interval $[t_{\min },t_{\max }]$ (see Algorithm  11) 1:$tl{s}_{\mathrm{desc}}\leftarrow \varnothing$ 2:for all Status $s\in tls$ do 3:    $tl{s}_{\mathrm{desc}}\leftarrow tl{s}_{\mathrm{desc}}\cup \{\mathrm{State}\left(s\right),\mathrm{Duration}\left(s\right)\}$ 4:end for 5:return TMinTMax$(\mathrm{Lane}\left(u\right),tl{s}_{\mathrm{desc}})$