Controller-jammer game models of Denial of Service in control systems operating over packet-dropping links.