DFTCalc: A Dynamic Fault Tree calculator for reliability and availability