1. AVN, BfS, CSN, ISTec, NII, SKI, STUK, 2007. Licensing of safety critical software for nuclear reactors. Common position of seven European nuclear regulators and authorized technical support organisations, Revision 2007.
2. Fenelon, P., Hebbron, B., 1994. Applying Hazop to Software Engineering Models. In: Risk Management and Critical Protective Systems. Proceedings of SARSS.
3. Katta, V., Thunem, A.P.-J., 2007. Improving model-based risk assessment methods by integrating the results of requirements engineering into the system models. Presented at ESREL. In: Aven, Vinnem (Eds.), Risk, Reliability and Societal Safety. Taylor & Francis Group, pp. 2357–2363.
4. NuSEE: an integrated environment of software specification and V&V for PLC based safety-critical systems;Koo;Nuclear Engineering and Technology,2006
5. Lee, J.S., Miedl, H., Choi, J.G., Lindner, A., Kwon, K.C., 2006. Software safety lifecycles and methods of a programmable electronic safety system for nuclear power plant. Presented at SAFECOMP 2006, Gdansk, Poland.