Reliability of computerized safety systems at nuclear power plants. (IAEA, 1995)