Qian Chen, Sherif Abdelwahed: A Model-based Approach to Self-Protection in SCADA Systems. Feedback Computing 2014