Effective Static and Dynamic Fault Tree Analysis. - Ola Bäckström; Yuliya Butkova; Holger Hermanns; Jan Krcál; Pavel Krcál (SAFECOMP, 2016)