Languages, Compilers, and Tools for Embedded Systems by Frank Mueller & Azer Bestavros