@book{
international2000iaea,
title={Software for Computer Based Systems Important to Safety in Nuclear Power Plants},
series={Safety Standards Series},
number={NS-G-1.1},
year={2000},
isbn={92-0-101800-2},
url={http://www.dgdingfa.net/publications/6019/software-for-computer-based-systems-important-to-safety-in-nuclear-power-plants},
publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
address={Vienna}
}