Use of STPA in digital instrumentation and control systems of nuclear power plants. - Rejzek Martin; Christian Hilbes (GI-Jahrestagung, 2014)