"Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling." In Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems., 2020.