Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model | IEEE Conference Publication | IEEE Xplore