Zurawski,Richard Embedded systems design and verification / Richard Zurawski - 2nd ed. - CRC Press, 2009 ISBN: 9781439807552 Subjects--Topical Terms: Design and verificationEmbedded systems Dewey Class. No.: 004.16 / ZUR