Embedded systems design and verification - Zurawski, Richard (Industrial information technology series, 2013)