TY - BOOK AU - Zurawski, Richard TI - Embedded systems design and verification SN - 9781439807552 U1 - 004.16 ZUR/E PY - 2009/// CY - Boca Raton PB - CRC Press KW - COMPUTER ENGINEERING KW - EMBEDDED SYSTEMS KW - REAL TIME OPERATING SYSTEMS KW - CONTROL SYSTEMS ER -