@book{
international2018iaea,
title={Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants},
series={Nuclear Energy Series},
number={NP-T-3.27},
year={2018},
isbn={978-92-0-101218-0},
url={http://www.dgdingfa.net/publications/12232/dependability-assessment-of-software-for-safety-instrumentation-and-control-systems-at-nuclear-power-plants},
publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
address={Vienna}
}