Survivability modeling with stochastic reward nets | IEEE Conference Publication | IEEE Xplore