Publication [BBHKK16] Effective Static and Dynamic Fault Tree Analysis Bäckström, O.; Butkova, Y.; Hermanns, H.; Krcál, J. and Krcál, P. In SAFECOMP, pages 266-280, LNCS 9922, 2016.Downloads: bib
