CTMC-Based Availability Analysis of Multiple Cluster Systems with Common Mode Failure | IEEE Conference Publication | IEEE Xplore