SDG model-based analysis of fault propagation in control systems | IEEE Conference Publication | IEEE Xplore