Dynamic Bayesian Networks in system reliability analysis