A route-swapping dynamical system and Lyapunov function for stochastic user equilibrium /Michael J. Smith a , David P. Watling - Smith,Michael J.