Download e-book Embedded systems handbook. 1, Embedded systems design and verification