%0 Journal Article %K formalization %K impact %K influence %K NPP %K nuclear power plant %K Power grid safety %K Risk Assessment %B Information & Security: An International Journal %D 2012 %G eng %N 1 %P 65-78 %R http://dx.doi.org/10.11610/isij.2805 %T Formalizing Power Grid Influence to Assess the Safety of Nuclear Power Plants %V 28 %8 2012