Optimization Model for Multiple Backup Resource Allocation With Workload-Dependent Failure Probability | IEEE Journals & Magazine | IEEE Xplore