Software Synthesis from Dataflow Graphs (The Springer International Series in Engineering and Computer Science)