A Probabilistic Model to Predict the Survivability of SCADA Systems | IEEE Journals & Magazine | IEEE Xplore