"Gajski, Daniel D" Specification and Design of Embedded Systems - \\200700ENGGPCX - Pearson 2007 New Delhi - 450p. includes index and biblioraphy ISBN: 8131716120