Xin Jiang, Chuang Lin, Hao Yin, Yada Hu: A Scheduling Model for Maximizing Availability with Makespan Constraint Based on Residual Lifetime in Heterogeneous Clusters. NPC 2007: 31-40