Embedded Software Synthesis using Heterogeneous Dataflow Models