00284nas a2200097   4500000000100000000000100001008004100002100002300043700002400066245009600090       2020                            d1 aOleg Odarushchenko1 aElena Odarushchenko00aTool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling