Availability in System Design