Handbook of Hardware/Software Codesign - Springer; Teich, Jürgen (Springer Netherlands, 2017)