Vulnerability Modeling and Protection Strategies via Supervisory Control Theory | IEEE Conference Publication | IEEE Xplore