Secure Control Loop Execution of Cyber-Physical Devices Using Predictive State Space Checks | IEEE Conference Publication | IEEE Xplore