Fan Yang Sirish L. Shah Deyun Xiao SDG model-based analysis of fault propagation in control systems. 1152-1157 2009 CCECE http://dx.doi.org/10.1109/CCECE.2009.5090306 conf/ccece/2009 db/conf/ccece/ccece2009.html#YangSX09