Software Rejuvenation for Safe Operation of Cyber–Physical Systems in the Presence of Run-Time Cyberattacks | IEEE Journals & Magazine | IEEE Xplore