TY - ECHAP AU - Oleg Odarushchenko AU - Elena Odarushchenko BT - Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems LA - eng PY - 2020 T2 - Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems TI - Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling ER -