@book{
  international1999iaea,
  title={Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control},
  series={Technical Reports Series},
  number={384},
  year={1999},
  isbn={92-0-100799-X},
  url={https://www.iaea.org/publications/5718/verification-and-validation-of-software-related-to-nuclear-power-plant-instrumentation-and-control},
  publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
  address={Vienna}
}