Lyapunov-based analysis and worm extinction in wireless networks using stochastic SVEIR model | Synapse