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