Effective handling of software anomalies in computer based systems at nuclear power plants. (IAEA, 2000)