Dependability of engineering systems : a markov minimal cut approach (2020)