Modelling a Survivable System through Critical Service Recovery Process | IEEE Conference Publication | IEEE Xplore