Embedded systems and software validation - Roychoudhury, Abhik (Morgan Kaufmann series in systems on silicon.)