Model-Based Mitigation of Availability Risks | IEEE Conference Publication | IEEE Xplore