Algorithm 11 Time min max.

Input: Lane l, tlsdesc Result: Time until next switch $t_{\min }$, time until next “green” state $t_{\max }$ 1:$tl{s}_s\leftarrow$ CurrentState$\left(tl{s}_{\mathrm{desc}}\right)$ 2:$t_{\min }\leftarrow \mathrm{Sec}\mathrm{ondsToNextSwitch}(tl{s}_s,tl{s}_{\mathrm{desc}})$ 3:$t_{\max }\leftarrow t_{\min }$ 4:if$tl{s}_s$ in green state then 5:    $tl{s}_s\leftarrow \mathrm{NextState}(tl{s}_s,tl{s}_{\mathrm{desc}})$ 6:end if 7:while$tl{s}_s$ not in green state do 8:    $t_{\max }\leftarrow \mathrm{Sec}\mathrm{ondsToNextSwitch}(tl{s}_s,tl{s}_{\mathrm{desc}})$ 9:    $tl{s}_s\leftarrow \mathrm{NextState}(tl{s}_s,tl{s}_{\mathrm{desc}})$ 10:end while 11:return$(t_{\min },t_{\max })$