Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain - Bertels, Koen (Springer Netherlands : Imprint: Springer, 2012)