TY - BOOK AU - Zurawski/Richard TI - Embedded sytems design and verification U1 - 3.3 PY - 2009/// PB - CRC Press KW - Embedded ER -