Model-based cybersecurity for control systems: Modeling, design and control | IEEE Conference Publication | IEEE Xplore