2. MBSA approach

The MBSA methodology aims to leverage the combined strengths of traditional safety analysis techniques such as Fault Tree Analysis, Event Tree Analysis, and Markov processes within a unified formal framework. It is grounded in a solid mathematical foundation: Guarded Transition Systems, initially introduced by Rauzy in 2008 . This formalism bridges the gap between combinatorial models (e.g., fault trees, reliability block diagrams) and state/event-based approaches, such as those used in Markov chains or Petri...