Availability requirement for a fault-management server in high-availability communication systems | IEEE Journals & Magazine | IEEE Xplore