%0 Book Section
%B Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems
%D 2020
%G eng
%T Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling