Performance Modeling of Safety Systems with Mutiphase Markov Chains | IEEE Conference Publication | IEEE Xplore