Robust Software Rejuvenation for CPS with State Estimation and Disturbances | IEEE Conference Publication | IEEE Xplore