Technical Report 2016-01 Title : Effective Static and Dynamic Fault Tree Analysis