@inbook{21946, author = {Oleg Odarushchenko and Elena Odarushchenko}, title = {Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling}, year = {2020}, journal = {Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems}, language = {eng}, }