Comparison of Analytical Formulas of PFH and PMHF Calculation for M-out-of-N Redundancy Architecture