@book{
international2002iaea,
title={Solutions for Cost Effective Assessment of Software Based Instrumentation and Control Systems in Nuclear Power Plants},
series={TECDOC Series},
number={1328},
year={2002},
isbn={92-0-119902-3},
url={http://www.dgdingfa.net/publications/6607/solutions-for-cost-effective-assessment-of-software-based-instrumentation-and-control-systems-in-nuclear-power-plants},
publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
address={Vienna}
}