Rigorous derivation of interfacing system LOCA frequency formulas for probabilistic safety assessment of nuclear power plants