Budde, Carlos E.; D'Argenio, Pedro Ruben; Monti, Raúl Enrique; Stoelinga, Mariëlle (2022)
Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using ...