A time-dependent methodology for fault tree evaluation · Study