The integration of diversely redundant designs, dynamic system models, and state estimation technology to the cyber security of physical systems. - Barry M. Horowitz; Katherine M. Pierce (Syst. Eng., 2013)