Abstract: In the context of model-based product and system design, the capability to assess the impact of potential component faults, undesired interactions, and fault propagation is important for design decision-making. Addressing ...