A continuous-time linear complementarity system for dynamic user equilibria in single bottleneck traffic flows · Study