Dependability Modeling Framework: A Test Procedure for High Availability in Cloud Operating Systems | IEEE Conference Publication | IEEE Xplore