TY - BOOK AU - ZURAWSKI RICHARD TI - EMBEDDED SYSTEMS DESIGN AND VERIFICATION SN - 9781439807552 U1 - 004.16 ZUR PB - CRC PRESS KW - COMPUTER SCIENCE ER -