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