Hardware/Software Co-Design and Co-Verification e-kirjaEnglanti, 2013