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