Probability of failure on demand of safety systems by Multiphase Markov Chains | IEEE Conference Publication | IEEE Xplore