@book{
international2000iaea,
title={Effective Handling of Software Anomalies in Computer Based Systems at Nuclear Power Plants},
series={TECDOC Series},
number={1140},
year={2000},
url={http://www.dgdingfa.net/publications/5834/effective-handling-of-software-anomalies-in-computer-based-systems-at-nuclear-power-plants},
publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
address={Vienna}
}