Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar: Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR abs/1507.00509 (2015)