CPS: driving cyber-physical systems to unsafe operating conditions by timing DoS attacks on sensor signals
A Trusted Safety Verifier for Process Controller Code