Sensitivity analysis on the effect of software-induced common cause failure probability in the computer-based reactor trip system unavailability · Study