Determining the failure propagation paths is always an important content of safety analysis. The traditional safety analysis methods are hard to deal with large complex systems. Therefore, model-based ...