An improved modular approach for dynamic fault tree analysis · Study