Email Record: Current state of reliability modeling methodologies for digital systems and their acceptance criteria for nuclear power plant assessments.