ZURAWSKI, R. EMBEDDED SYSTEMS DESIGN AND VERIFICATION - 2 - Boca Raton CRC 2009 - xxxi+634p., 26x19Cms ISBN: 978-1-4398-0755 Dewey Class. No.: 621.38195 Z96