Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification | IEEE Conference Publication | IEEE Xplore