Reliability and availability cost design tradeoffs for HA systems | IEEE Conference Publication | IEEE Xplore