Generalized formula for the calculation of a probabilistic metric for random hardware failures in redundant subsystems | IEEE Conference Publication | IEEE Xplore