An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs | IEEE Conference Publication | IEEE Xplore