Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking | IEEE Conference Publication | IEEE Xplore