Benjamin Treynor Sloss, Mike Dahlin, Vivek Rau, Betsy Beyer: The Calculus of Service Availability. ACM Queue 15(2): 40 (2017)