Performability study of a mission-critical system using reliability-analytic formalism | IEEE Conference Publication | IEEE Xplore