High Availability Evaluation Utilizing Service Level Agreement. - Huahui Lyu; Yuning Xiao; Ruihong Yan; Yong Jin; Ruimin Shen; Bin Sheng 001 (iThings/GreenCom/CPSCom/SmartData, 2017)