Reliability modeling of safety-critical network communication in a digitalized nuclear power plant · Study