Survivable SCADA Systems: An Analytical Framework Using Performance Modelling | IEEE Conference Publication | IEEE Xplore