An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing | IEEE Conference Publication | IEEE Xplore