Evaluation of control system reliability using combined dynamic fault trees and Markov models. - L. Kolek; M. Yousef Ibrahim 001; Indra Gunawan; Med Amine Laribi; Saïd Zeghloul (INDIN, 2015)