Modeling Service Availability with External System Redundancy | part of Beyond Redundancy: How Geographic Redundancy Can Improve Service Availability and Reliability of Computer-Based Systems | Wiley-IEEE Press books | IEEE Xplore