Embedded Systems Design and Verification - Richard Zurawski (Taylor and Francis, 2009)