Zurawski, Richard. Embedded Systems Design And Verification - USA : CRC Press, c2009. - xxxi, p.: [5B] ISBN: 9781439807552 Dewey Class. No.: 004.256 / ZUR/EMB