TY - BOOK AU - Zurawski,Richard TI - Embedded systems design and verification SN - 9781439807552 U1 - 004.16 PY - 2009/// PB - CRC Press KW - Design and verification KW - Embedded systems ER -