Scheduling of dynamic dataflow programs based on state space analysis | IEEE Conference Publication | IEEE Xplore