Risk-based model for availability estimation of SAF redundancy models | IEEE Conference Publication | IEEE Xplore