Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling Publication Type: Book Chapter Authors: Oleg Odarushchenko; Elena Odarushchenko Source: Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems (2020)