Evaluation of control system reliability using combined dynamic fault trees and Markov models | IEEE Conference Publication | IEEE Xplore