Mean time to unsafe failure for markov, semi-markov, and globally time dependent models | IEEE Conference Publication | IEEE Xplore