A comprehensive model for software rejuvenation | IEEE Journals & Magazine | IEEE Xplore