Dynamic Bayesian networks for formal verification of structured stochastic processes. - Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak (Acta Informatica, 2017)