Dynamic availability assessment of safety critical systems using a dynamic Bayesian network. (October 2018)