Embedded Systems Design and Verification - Zurawski, Richard ((Industrial Information Technology Series))