BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. - Daniel Basgöze; Matthias Volk 001; Joost-Pieter Katoen; Shahid Khan 002; Mariëlle Stoelinga (NFM, 2022)