Securing networked control systems: Modeling attacks and defenses | IEEE Conference Publication | IEEE Xplore