Embedded Software Synthesis and Prototyping.