Performability Models for Multi-Server Systems with High-Variance Repair Durations | IEEE Conference Publication | IEEE Xplore