Compilation and Synthesis for Embedded Reconfigurable Systems - Cardoso (Springer New York, 2013)