Dynamic availability assessment of safety critical systems using a dynamic Bayesian network · Study