Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart | IEEE Conference Publication | IEEE Xplore