Salvatore Distefano Antonio Puliafito Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees. 4-17 2009 6 IEEE Trans. Dependable Sec. Comput. 1 http://dx.doi.org/10.1109/TDSC.2007.70242 db/journals/tdsc/tdsc6.html#DistefanoP09