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