ZURAWSKI RICHARD EMBEDDED SYSTEMS DESIGN AND VERIFICATION - 2ND - CRC PRESS - 19-31 P ISBN: 9781439807552 Subjects--Topical Terms: COMPUTER SCIENCE Dewey Class. No.: 004.16 ZUR