Goal-based Dependability Analysis and Improvement Framework for Network Storage Systems.