5.7 Compilers and Software Synthesis for Embedded Systems