Applying Dynamic Bayesian Networks for Automated Modeling in ArchiMate: A Realization Study | IEEE Conference Publication | IEEE Xplore