Coverage Estimation of Digital Plant Protection System in a Nuclear Power Plant