An Analytical Framework for Evaluating Survivability of SCADA Systems | IEEE Conference Publication | IEEE Xplore