Availability requirement for a fault management server in high-availability communication systems | IEEE Conference Publication | IEEE Xplore