Reset-based recovery for real-time cyber-physical systems with temporal safety constraints | IEEE Conference Publication | IEEE Xplore