@book{ internationaliaea, title={Operator Support Systems in Nuclear Power Plants}, series={TECDOC Series}, number={762}, year={}, url={https://www.iaea.org/publications/5407/operator-support-systems-in-nuclear-power-plants}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }