"Broekman, Bart" Testing Embedded Software - \\200900ENGGPCX - Pearson 2009 New Delhi - 348p. includes index and biblioraphy