James J. Han, Hairong Sun, Haim Levendel: Availability Requirement for Fault Management Server. COMPSAC 2001: 468-473