 \[t'=\frac{t_0}{\sqrt{1-\frac{v^2}{c^2}}}=\frac{l_0}{\sqrt{c^2-v^2}}\]