Unfolding probabilistic data-flow graphs under different timing models | IEEE Conference Publication | IEEE Xplore