Embedded systems and software validation - Roychoudhury, Abhik. (Morgan Kaufmann Publishers/Elsevier, 2009)