Hardware/Software Co-Design and Co-Verification häftadEngelska, 2010