System recovery-aware virus propagation model and its steady-state analysis | IEEE Journals & Magazine | IEEE Xplore